~james/span

1
de502ca765 perf(cli): compile binary output and assembly report onceUnverified
james · 13 days ago
dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolutionUnverified
james · 13 days ago
a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivityUnverified
james · 13 days ago
a68ad347f4 initial commitUnverified
james · 13 days ago