Default Branch

master

7e81ab63ef · TODO. · Updated 8 months ago

Branches

abbrev_refactoring

9e72fe648a · Structure.ml: remove stale comments · Updated 1 year ago

517
20
abstract

25d300cfb1 · Refactoring : change the functors' order of application. · Updated 8 months ago

45
7
alcotest

d6cadeab10 · Use Alcotest for the test suite. · Updated 1 year ago

317
0
Included
clearer-test-output

55c0c2e7b1 · Add support for cram tests. · Updated 11 months ago

295
7
co_cps

9541cd0c17 · Add exist__m · Updated 3 years ago

506
48
debug

a1a844901e · wip · Updated 2 years ago

506
136
error-message

13e6f284c2 · WIP · Updated 11 months ago

286
3
error-message-rebase

9b26caa1c8 · Improve the executable ./TestMidML.exe. · Updated 11 months ago

215
5
f-datatypes

972f079550 · Remove deprecated functions. · Updated 2 years ago

388
1
f-datatypes-wip

3dcb4371da · Fix a test. · Updated 2 years ago

398
13
frozen

5442fff85a · Merge branch 'frozen' of https://gitea.lakaban.net/Olivier/inferno-experimental into frozen · Updated 2 years ago

506
194
frozen-infer

71f6906356 · [WIP] Add test. · Updated 2 years ago

506
173
frozen-solver

1c67d74fc8 · Merge branch 'frozen-solver' of https://gitea.lakaban.net/Olivier/inferno-experimental into frozen-solver · Updated 2 years ago

506
227
frozen-solver2

3f52bf2a87 · Treat CFrozen case in the solve function of SolverLo.ml · Updated 2 years ago

506
158
gadt-language

0892335179 · WIP · Updated 10 months ago

75
1
improve-ast

44ee5263b3 · ML: Argument of variant is optional. · Updated 2 years ago

375
8
#34 Closed
last_push

18effdd973 · WIP: partially-working use of Deep types · Updated 2 years ago

517
21
letrn

2bb64df640 · Add letrn combinator and rewrite the other let-combinators accordingly. · Updated 10 months ago

114
7
match

8bf3d994d1 · Merge · Updated 2 years ago

506
164