lafonten
lafonten copied to clipboard
Upgrade to latest LambdaCube
Hi, how much work would it be to migrate this to the DSL-based lambdacube (as opposed to the EDSL based one that this one was written for)? It seems some stuff around compilers would be different, not sure about other things, but I don't know how deep of a rabbit hole this would be.