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

New Issue

Ligther F examples

#57 by gasche was closed 4 months ago

Pretty-printing : affichage fun/Fun n-aire

#55 by Olivier was closed 2 months ago

1

Rajouter les commentaires dans midML

#54 by Olivier was closed 4 months ago

afficheur de types: virer le `some .` de `some . a0 -> a0`.

#53 by gasche was closed 1 year ago

1

ajouter un "search path" à ./midml.exe

#52 by gasche was closed 12 months ago

1

Lire l'article sur les GADTs et en discuter

#51 by gasche was closed 6 months ago

migrer TestMidML vers `client/bin/midml.exe` et nettoyer un peu la sortie

#50 by gasche was closed 12 months ago

éliminer les chemins absolus dans le code de la partie test

#49 by gasche was closed 12 months ago

Directive `#use` gérée au niveau du parsing

#48 by gasche was closed 1 year ago

migrer les tests vers des fichiers séparés

#47 by gasche was closed 1 year ago

1 2 3