disco-lang

Pinned Repositories

disco
Functional teaching language for use in a discrete mathematics course
Language:TeX162 6 27023
disco_lang_kernel
Jupyter kernel for the Disco language.
Language:Python1 1 00
Omega
Updated fork of the Haskell Omega library
Language:Haskell10

disco-lang's Repositories

disco-lang/disco
Functional teaching language for use in a discrete mathematics course
Language:TeX162 6 27023
disco-lang/disco_lang_kernel
Jupyter kernel for the Disco language.
Language:Python1 1 00
disco-lang/Omega
Updated fork of the Haskell Omega library
Language:Haskell10