Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
refactor-typecheck
cce33679
·
Fix reflexivity rule in lhs unification (related to
#15
)
·
Dec 20, 2024
main
default
protected
e4f32871
·
Merge branch 'rename-record-keyword' into 'main'
·
Dec 19, 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