BOOOKS
Conversation
Sadly I have a day of work before I can sample more of this tasty book. At least I now understand what an 'atom is! Thanks ! 🤩
1
1
Replying to
Hit me up if you ever want talk verified compilation (Appel et al. also on my bookshelf)
1
1
Oh lovely!
Trying to start getting my head around it. I'm wanting to try out type preserving compilation for Pikelet, at least up to ANF and Closure Conversion, using some of et al.'s work on doing it for dependent types!
2
2
Show replies
