1
Vývoj / Juvix — další jazyk se závislostními typy
« kdy: 27. 11. 2022, 15:27:45 »
Rozmáhá se nám tu takový “nešvar” — závislostní typy: https://juvix.org/ 
Používáte někdo aspoň GADT?
Používáte někdo aspoň GADT?
Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
Stran: [1]
Stran: [1]
