Tired: spending an hour last night debugging, getting nowhere.

Wired: This morning figuring out the problem is actually a bug in the teaching language I was using, and reporting it.

Inspired: Having Racket wizard Mathew Flatt fix the bug I reported before lunch.

@bremner calling racket a teaching language is ... not good for you.

@juliank "teaching language" is what racket people call a language like
docs.racket-lang.org/plait/ind

I guess "dialect" or DSL might be more familiar terminology.

@bremner I see, guess this was a parser error on my side. I vaguely started remembering that racket supports different languages after I hit send, but then lost network.

@juliank It's always good to find out when your jargon is too specialized for your audience.

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.