geckones

7 ms·

1. 1.▲
   by geckones 2mo ago

   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 be more introduc
2. 2.▲
   by geckones 2mo ago

   I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
3. 3.▲
   by geckones 2mo ago

   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 scale, there is a lot of
4. 4.▲
   by geckones 2mo ago

   I didn't thanks for sharing It looks a cool project, definetely related
5. 5.▲
   by geckones 2mo ago

   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 purpose is to be a
6. 6.▲
   by geckones 2mo ago

   Oh you just said "seed 0" I will try it
7. 7.▲
   by geckones 2mo ago

   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
8. 8.▲
   by geckones 2mo ago

   done!
9. 9.▲
   by geckones 2mo ago

   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 to