v0.0.1

• Implement all (maybe) primitives and combinators described in the paper.
• Pretty printing.
• REPL.
• A bunch of examles to act as documentation.
• Machinery to write unit and golden file tests.