5 ms·

Surprisingly interesting experience even for someone that does know nothing about writing proof - thanks to gradual onboarding and a decent help menu. Also, pe

by Vedor 3mo ago

Surprisingly interesting experience even for someone that does know nothing about writing proof - thanks to gradual onboarding and a decent help menu. Also, perfectly playable at mobile (at least a couple of first monsters).

heftig 3mo ago
I had the exact opposite experience. It doesn't teach the basics needed to even solve the first puzzle. Which language are we even writing in? Clicking help explains what exactly to do but not why, as well as lots of rules with unexplained terminology.
- klibertp 3mo ago
  There's a chance it's this: https://github.com/dhilst/algae https://github.com/dhilst/algae
  - andai 3mo ago
    Interactive thingy here, and a tutorial: https://dhilst.github.io/algae/ https://dhilst.github.io/algae/