Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
Active branches
wip/term
e1e0d060
·
A lot of simplification (generalizatin is broken)
·
Dec 20, 2024
wip/new-skol-psis
9b1fb5f2
·
Get rid of |-aps and |-ap, in |-skolpsys, return a pair of sg and p
·
Oct 29, 2024
Stale branches
opam
6fdf1ef9
·
CI
·
Jul 24, 2019
poly-result-sigs
7963d72d
·
Correct link in README
·
Nov 27, 2019
QL
b01c4b17
·
Add enttwo, update ent, update terminals and grammar
·
Sep 02, 2023
IAllITyArgFix
e4b5277c
·
Add new prototype grammar `substCandid` to fix substition parse errors
·
Sep 05, 2023
wip/substCandid
e7feb1d7
·
Improve InvariantArrow
·
Sep 08, 2023
Show more stale branches