Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
main
default
protected
f9d45266
·
Merge branch 'fix-lhs-unification' into 'main'
·
Nov 16, 2024
constraint-based-elaboration
1b2f6c8c
·
Introduce constraints for unification
·
Nov 05, 2024
documentation
660c0824
·
Fix a small bug and update the README.md
·
Nov 01, 2024
dev
protected
d35c7787
·
Update to version 0.1.0
·
Oct 30, 2024