Default Branch

6fe129a761 · Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT]. · Updated 2022-12-26 22:55:01 +01:00

Branches

13e3eb627d · [WIP] change the semantics of absurd. · Updated 2023-04-25 11:31:57 +02:00

0
105

4871534e80 · Remove useless [params] argument in [convert]. · Updated 2023-03-15 10:39:29 +01:00

0
45
#67 Open

075dda1686 · [WIP] Immutable equalities environment. · Updated 2023-03-02 14:31:46 +01:00

0
62

e7b8b7a66c · remove the broken gitlab CI script · Updated 2023-02-22 22:28:40 +01:00

0
36

00bf829884 · [WIP] equations environment using a union-find. · Updated 2023-02-12 18:24:31 +01:00

0
25

227a4bbaf8 · [FTypeChecker] More informative error message (and more robust code) when typechecking variants. · Updated 2023-02-01 19:39:55 +01:00

17
19
#66 Open

d4e896582b · Add tests for pattern-matching. · Updated 2023-01-27 15:55:39 +01:00

17
17
#65 Open

934fb82b15 · Add an UnboundTypeVariable error. · Updated 2023-01-25 11:24:11 +01:00

17
15
#63 Open

5a017aeaa7 · WIP · Updated 2023-01-24 10:42:53 +01:00

17
22

19b1d4a6cf · Remove unused equality check and change comments. · Updated 2022-11-03 16:32:04 +01:00

17
10

829e874a13 · Improve printing of n-ary abstraction and type abstraction. · Updated 2022-09-16 15:14:25 +02:00

17
9
#61 Open

25d300cfb1 · Refactoring : change the functors' order of application. · Updated 2022-04-07 11:32:42 +02:00

63
7

dcdafa9ed6 · Typo. · Updated 2022-03-24 14:41:24 +01:00

65
2

c2dfd17f68 · Separate the status type in two. · Updated 2022-03-17 18:33:51 +01:00

67
1

2bb64df640 · Add letrn combinator and rewrite the other let-combinators accordingly. · Updated 2022-02-23 18:14:21 +01:00

132
7

0892335179 · WIP · Updated 2022-02-21 15:42:29 +01:00

93
1

b7fefec0e3 · WIP · Updated 2022-02-08 11:27:05 +01:00

93
1

9b26caa1c8 · Improve the executable ./TestMidML.exe. · Updated 2022-01-26 17:57:11 +01:00

233
5

90c0049a87 · Merge Env and SVMap. · Updated 2022-01-25 14:37:52 +01:00

233
4

13e6f284c2 · WIP · Updated 2022-01-06 18:41:31 +01:00

304
3