zlizta

UNNC

Pinned Repositories

PiSigma
A dependently typed core language
Language:Haskell54
LC
Language:Haskell42
pisigma-0-2-2
Language:Haskell34
Definable-quotients
Language:Haskell10
PhD-of-nzl
10
rp10hwk
calculator
Language:Haskell00

zlizta's Repositories

zlizta/LC
Language:Haskell42
zlizta/pisigma-0-2-2
Language:Haskell34
zlizta/Definable-quotients
Language:Haskell1
zlizta/PhD-of-nzl
1
zlizta/PiSigma
A dependently typed core language
Language:Haskell54