I updated the tutorial and the game; the most prominent update is that the editor now suggests fixes that solve copy/paste and mechanical editing. It makes the experience a lot better. I also refactored the tutorial to…
[dead]
Yeah, I guess I can fix this easily by using qed instead of wip in the templates, but I have to check if the error messages will persist, I believe the qed error suppress the helpful messages now. But this does not…
I didn't thanks for sharing It looks a cool project, definetely related
Yeah the game was thought to be an extension of the tutorial and an educational/grinding environment for the theory and the language. About interacting with text, in that case I think it is exactly the opposite. The…
Oh you just said "seed 0" I will try it
The developer here! Thanks for all the feedbacks, here are some more info There is a tutorial: https://dhilst.github.io/algae The project (algae) is a algebraic specification tool. This means it is intended to allow you…
I updated the tutorial and the game; the most prominent update is that the editor now suggests fixes that solve copy/paste and mechanical editing. It makes the experience a lot better. I also refactored the tutorial to…
[dead]
Yeah, I guess I can fix this easily by using qed instead of wip in the templates, but I have to check if the error messages will persist, I believe the qed error suppress the helpful messages now. But this does not…
I didn't thanks for sharing It looks a cool project, definetely related
Yeah the game was thought to be an extension of the tutorial and an educational/grinding environment for the theory and the language. About interacting with text, in that case I think it is exactly the opposite. The…
Oh you just said "seed 0" I will try it
[dead]
[dead]
The developer here! Thanks for all the feedbacks, here are some more info There is a tutorial: https://dhilst.github.io/algae The project (algae) is a algebraic specification tool. This means it is intended to allow you…