Skip to content

Comment on Dungeon Proof Crawler: learn how to write proofs with RPGparent

Comments

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.

There's a chance it's this: https://github.com/dhilst/algae

Interactive thingy here, and a tutorial:

https://dhilst.github.io/algae/

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.