History of src on 20c77b977143c3c22274a35bc141ba5d51f605e9

de502ca765 perf(cli): compile binary output and assembly report once

~james · 14 days ago

dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution

~james · 14 days ago

a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity

~james · 14 days ago

a68ad347f4 initial commit

~james · 14 days ago