Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
master
default
protected
dd1b5ed5
·
Clean up .tix file after tests.
·
Sep 27, 2022
theory-argument-scoping
39a95608
·
Argument scoping
·
Aug 19, 2021
term-inference
6ad3afca
·
Move comments to restrict linelength in Sequent.AST
·
Aug 18, 2021
more-examples
65e07d2e
·
FAILES: Add test case checking cartesian cat example.
·
Aug 05, 2021