A functional programming language for teaching discrete mathematics.
https://github.com/disco-lang/disco.git
stable