A compiler for a small lambda calculus written using MLIR.

• 
• Lioville function

Good resources:

• SPIR-V dialect spec
• SPIR-V dialect base tablegen
• SPIR-V dialect header
• SPIR-V dialect cpp

Round tripping

• What stops someone from defining a printer that is completely different from what the parser wants?

TODO

• Parse case x of { ... } style input.
• Parse let var = val in ... input.
• Add PrimInt type.
• Get factorial up and running.
• Get a notion of explicit GC.