Skip to content
GitLab
Explore
Sign in
clean-compiler-and-rts
compiler
Repository
Branches
Overview
Active
Stale
All
Active branches
GADT
37a1de55
·
add some support for GADTs
·
Apr 18, 2024
master
default
protected
b775e3df
·
fix previous commit, pass only icl_imported_generic_cases instead of icl_mod to convertGenerics
·
Apr 03, 2024
Stale branches
sucl
protected
0f98d322
·
Improve makeBase errors
·
Oct 16, 2001
unlabeled-1.1.2.13.2
protected
4917b712
·
Reattach sucl branch (creating sucl2 branch) to head of trunk
·
Oct 17, 2001
unlabeled-1.1.2.21.2
protected
60d76e97
·
Reattach sucl branch (creating sucl2 branch) to head of trunk
·
Oct 17, 2001
unlabeled-1.1.2.39.2
protected
42de6756
·
Reattach sucl branch (creating sucl2 branch) to head of trunk
·
Oct 17, 2001
unlabeled-1.1.2.8.2
protected
5f65fbe3
·
Reattach sucl branch (creating sucl2 branch) to head of trunk
·
Oct 17, 2001