Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Håkon Gylterud
Myott
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
91a8402a
·
Reconstruct terms from the environment of an operation when applying it (issue
#12
).
·
Apr 29, 2022
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
term-inference
6ad3afca
·
Move comments to restrict linelength in Sequent.AST
·
Aug 18, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
theory-argument-scoping
merged
39a95608
·
Argument scoping
·
Aug 19, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar