Default Branch

master 6fe129a761 · Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT]. · Updated 3 months ago

ZIP  TAR.GZ

Branches

equality-constraint-graph 906fc4f9e6 · WIP · Updated 1 week ago	0 69	Compare	ZIP  TAR.GZ
introduce-rigid 4871534e80 · Remove useless [params] argument in [convert]. · Updated 1 week ago	0 45	#67 Open	ZIP  TAR.GZ
equality-constraint-env-immutable 075dda1686 · [WIP] Immutable equalities environment. · Updated 3 weeks ago	0 62	Compare	ZIP  TAR.GZ
upstream e7b8b7a66c · remove the broken gitlab CI script · Updated 4 weeks ago	0 36	Compare	ZIP  TAR.GZ
equality-constraint-2 00bf829884 · [WIP] equations environment using a union-find. · Updated 1 month ago	0 25	Compare	ZIP  TAR.GZ
issue-64 227a4bbaf8 · [FTypeChecker] More informative error message (and more robust code) when typechecking variants. · Updated 2 months ago	17 19	#66 Open	ZIP  TAR.GZ
issue-58 d4e896582b · Add tests for pattern-matching. · Updated 2 months ago	17 17	#65 Open	ZIP  TAR.GZ
type-equations 934fb82b15 · Add an UnboundTypeVariable error. · Updated 2 months ago	17 15	#63 Open	ZIP  TAR.GZ
equality-constraint 5a017aeaa7 · WIP · Updated 2 months ago	17 22	Compare	ZIP  TAR.GZ
type-equations-master 19b1d4a6cf · Remove unused equality check and change comments. · Updated 5 months ago	17 10	Compare	ZIP  TAR.GZ
n-ary-fun-printing 829e874a13 · Improve printing of n-ary abstraction and type abstraction. · Updated 6 months ago	17 9	#61 Open	ZIP  TAR.GZ
abstract 25d300cfb1 · Refactoring : change the functors' order of application. · Updated 12 months ago	63 7	Compare	ZIP  TAR.GZ
rigid-variable-fix dcdafa9ed6 · Typo. · Updated 1 year ago	65 2	Compare	ZIP  TAR.GZ
rigid-variable-rebase c2dfd17f68 · Separate the status type in two. · Updated 1 year ago	67 1	Compare	ZIP  TAR.GZ
letrn 2bb64df640 · Add letrn combinator and rewrite the other let-combinators accordingly. · Updated 1 year ago	132 7	Compare	ZIP  TAR.GZ
gadt-language 0892335179 · WIP · Updated 1 year ago	93 1	Compare	ZIP  TAR.GZ
multi-eq b7fefec0e3 · WIP · Updated 1 year ago	93 1	Compare	ZIP  TAR.GZ
error-message-rebase 9b26caa1c8 · Improve the executable ./TestMidML.exe. · Updated 1 year ago	233 5	Compare	ZIP  TAR.GZ
rigid-rebase 90c0049a87 · Merge Env and SVMap. · Updated 1 year ago	233 4	Compare	ZIP  TAR.GZ