Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
@wilbowma i ported the first half of your nbe 4 ways to idris, which i think makes it much easier to see what's going on. the rest may follow, but i'm having difficulty porting the metacircular interpreter and i'm giving up for now.
https://gist.github.com/jjl/196f79f704b01ff545d368914565e435