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…
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
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
I fixed some bugs regarding the stairs. Can you share your seed? I can play the same game and try to reproduce it. It shows up in the top-right corner
done!
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…
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
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
I fixed some bugs regarding the stairs. Can you share your seed? I can play the same game and try to reproduce it. It shows up in the top-right corner
done!
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…