Skip to content
GitLab
Explore
Sign in
Håkon Gylterud
Myott
Repository
Branches
Overview
Active
Stale
All
Stale branches
more-examples
65e07d2e
·
FAILES: Add test case checking cartesian cat example.
·
Aug 05, 2021
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
theory-argument-scoping
39a95608
·
Argument scoping
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
dd1b5ed5
·
Clean up .tix file after tests.
·
Sep 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar