Default Branch

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

Branches

3f52bf2a87 · Treat CFrozen case in the solve function of SolverLo.ml · Updated 2020-07-29 10:53:50 +02:00

524
158

3698d045e1 · Add frozen combinator in SolverHi · Updated 2020-07-29 10:53:00 +02:00

524
155

86c2fa0577 · Use mapM_both instead of traverse in hastype_pat · Updated 2020-07-22 11:04:20 +02:00

524
146
#12 Merged

1c67d74fc8 · Merge branch 'frozen-solver' of https://gitea.lakaban.net/Olivier/inferno-experimental into frozen-solver · Updated 2020-07-22 10:46:46 +02:00

524
227

5442fff85a · Merge branch 'frozen' of https://gitea.lakaban.net/Olivier/inferno-experimental into frozen · Updated 2020-07-22 10:43:05 +02:00

524
194

8bf3d994d1 · Merge · Updated 2020-07-22 10:10:56 +02:00

524
164

42750df730 · Merge pull request 'variants' (#11) from variants into master · Updated 2020-07-20 09:46:42 +02:00

524
129

a1a844901e · wip · Updated 2020-07-10 14:10:43 +02:00

524
136

5481126b64 · Fix indentation in hastype · Updated 2020-06-04 17:42:09 +02:00

524
57
#10 Merged

682e7c003a · Fix typo · Updated 2020-06-04 16:32:37 +02:00

524
56
#9 Merged

9541cd0c17 · Add exist__m · Updated 2020-05-26 14:48:55 +02:00

524
48

da874d035c · Rebase with master · Updated 2020-05-05 15:57:41 +02:00

524
28
#3 Merged

27e824b8e4 · Cleaner version of two separate test files · Updated 2020-05-02 10:53:17 +02:00

524
2
#2 Merged

4f67b0cc6d · type environment · Updated 2020-04-30 15:06:25 +02:00

524
7