Pinned Repositories
disco
Functional teaching language for use in a discrete mathematics course
disco_lang_kernel
Jupyter kernel for the Disco language.
Omega
Updated fork of the Haskell Omega library
disco-lang's Repositories
disco-lang/disco
Functional teaching language for use in a discrete mathematics course
disco-lang/disco_lang_kernel
Jupyter kernel for the Disco language.
disco-lang/Omega
Updated fork of the Haskell Omega library