Күн бұрынDependent types implementation in Haskell (part 3) Рет қаралды 15Labbekak 1 1 Broadcasted live on Twitch -- Watch live at / labbekak Implementation of dependent type theory in Haskell. Mostly based on github.com/And... .Repository: github.com/ate...Жүктеу
Пікірлер