All Git Users → disco-lang

1 open source projects by disco-lang

[ Open user page on Github ]

Functional teaching language for use in a discrete mathematics course

✭ 132

haskell TeX Agda functional-programming teaching discrete-mathematics

1-1 of 1 user projects