Skip to content
Compare
Choose a tag to compare
@fizruk fizruk released this 19 Mar 10:33
· 60 commits to master since this release
8e6f619

Basic ARS metatheory and confluence for minimal $\varphi$-calculus.