Post #4287311
2026-06-05 19:30 UTC
@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.
Replies (1)
-
@counting_is_hard@mathstodon.xyz 2026-06-05 19:36
@edwinb@types.pl Maybe it could be amended to, "Enjoy Yourself (It's Later than You Think)" 😃 https://www.youtube.com/watch?v=6liD8TdlJFA