Viewing profile — geckones

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 bet…

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 helpf…

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 th…

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.…