After all, if I'm going to generate code via one Scheme, I might as well try all of them...
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How (much) does/will Blodwen differ from Idris?
-
The main differences will be due to using a variant of quantitative type theory in the core, but there won't be any "gratuitous" incompatibilities. I'll write up some notes on this fairly soon.
End of conversation
New conversation -
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.