It's probably time I stopped keeping this to myself. https://github.com/edwinb/Idris2-SH … More on this later, no doubt...
-
Show this thread
-
Replying to @edwinbrady
Very nice. Congrats on the progress! Have you given much thought to the "Reflections on Trusting Trust" problem posed by Ken Thompson? Self-hosted langs are more susceptible. It impacts policies versioning, supported bootstrapping sequences, and distribution by package managers.
1 reply 0 retweets 3 likes
Replying to @mx00s
I'd like to keep the path from Haskell->Idris 1->Idris 2->Idris 2 SH as long as possible. But also, you can look at the Scheme and see how it corresponds. There's a lot of it, but not as much as a binary, and the correspondence is clear. And I haven't patched Chez Scheme :).
1:43 AM - 19 May 2020
0 replies
0 retweets
3 likes
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.