How exactly can λ-encoded datatypes be compiled to primitive operations?
Oct 21, 2016 by
Concern on the size of normalized code, compiling complexity.
Jul 24, 2016 by
Awesome Idea for the our todo list: Core -> Morte Compiler
Mar 27, 2016 by
ProTip! What’s not been updated in a month: updated:<2019-05-27.