Post #3127708
2026-06-05 17:28 UTC
fyi when the instructions for something include "enjoy!", most things still seem to work even if you skip that step. this has saved me a lot of unnecessary effort
Replies (1)
-
@edwinb@types.pl 2026-06-05 19:30
@chrisamaphone@hci.social When the Idris 2 REPL starts, it says "Enjoy yourself!" and I WILL NEVER REMOVE THAT INSTRUCTION. I demand you all have the appropriate amount of fun. That said, I've never had any success with instructions of the form: "????. Profit." Still working on it.