Issues - inferno-experimental - Gitea: Git with a cup of tea

New Issue

[FTypeChecker] More informative error message (and more robust code) when typechecking variants.

#64 opened 2023-01-27 14:44:45 +01:00 by Olivier

[F.ml] Supprimer le terme Proj

#62 opened 2023-01-18 17:17:59 +01:00 by Olivier

[FTypeChecker] Implémentation plus efficace de l'égalité entre types

#59 opened 2022-09-10 17:39:09 +02:00 by Olivier

[FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat]

#58 opened 2022-09-07 12:36:32 +02:00 by Olivier

Fix printing of variant types

#56 opened 2022-07-28 11:07:32 +02:00 by Olivier

Sortie plus claire

#45 opened 2021-10-19 11:27:02 +02:00 by Olivier

Variables wildcard

#30 opened 2021-05-02 13:17:41 +02:00 by Olivier

Essayer de réagencer les modules en trois groupes

#18 opened 2021-04-06 15:08:25 +02:00 by Olivier