BOOOKS
Conversation
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
Still need to figure out a nice way to set up Coq on my system... 😅
1
1
Oh, and yes, always up for a chat (if that wasn't obvious). I'm just always bad at getting around to organising stuff! Trying to get better though.