Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
InferenceAlg
dccd3422
·
Update grammar for implementing Inference Algorithm
·
Sep 13, 2023
wip/Rules
5e109862
·
Add a metaflag to all of the parenthesis productions
·
Sep 11, 2023
wip/GADTs
8cacbaa6
·
Fix sigma types to include Constraints
·
Sep 09, 2023
wip/fixOrStmt
0bf4a24e
·
Add functions like `fiv` to `obj`, refactor `formula`
·
Sep 09, 2023
wip/substCandid
e7feb1d7
·
Improve InvariantArrow
·
Sep 08, 2023
IAllITyArgFix
e4b5277c
·
Add new prototype grammar `substCandid` to fix substition parse errors
·
Sep 05, 2023
QL
b01c4b17
·
Add enttwo, update ent, update terminals and grammar
·
Sep 02, 2023
poly-result-sigs
7963d72d
·
Correct link in README
·
Nov 27, 2019
opam
6fdf1ef9
·
CI
·
Jul 24, 2019
Prev
1
2
Next