Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
master
default
protected
8722508d
·
Four tests written for theory
·
Oct 02, 2024
Stale branches
more-examples
65e07d2e
·
FAILES: Add test case checking cartesian cat example.
·
Aug 05, 2021
term-inference
6ad3afca
·
Move comments to restrict linelength in Sequent.AST
·
Aug 18, 2021
theory-argument-scoping
39a95608
·
Argument scoping
·
Aug 19, 2021