Default Branch

master

e9c05e676b · Not sure if this is working. · Updated 1 year ago

Branches

gas-move-test

fc7b7e5d75 · Bunch of work moving gas around - it doesn't seem to pay off. · Updated 1 year ago

6
1
idris

42948a4dfb · Start working on DAGs. · Updated 1 year ago

22
40
oldhaskell

84cfc9cc1f · Fix link for GitHub. · Updated 1 year ago

22
35
tabularasa

18797eea39 · Attempt to move closer to actual proofs. · Updated 1 year ago

2
0