Branches · Håkon Gylterud / Myott · GitLab

Active branches

master default protected

91a8402a · Reconstruct terms from the environment of an operation when applying it (issue #12 ). · Apr 29, 2022

Download source code

zip tar.gz tar.bz2 tar

Stale branches

more-examples

65e07d2e · FAILES: Add test case checking cartesian cat example. · Aug 05, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
term-inference

6ad3afca · Move comments to restrict linelength in Sequent.AST · Aug 18, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
theory-argument-scoping merged

39a95608 · Argument scoping · Aug 19, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar