I've started calling Blodwen "Idris one and a half" because its entire role is now to be a thing that can bootstrap Idris 2. The process is certainly keeping me entertained, but will now have to take a back seat to teaching Java and Haskell for at least a few weeks!https://twitter.com/edwinbrady/status/1100482754431598592 …
-
-
There are some funny stories about programmers who have to write Java at their day job but prefer writing a code generator in their favorite language to generate Java code
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
I guess you can write Haskell in any language