disco (hackage): Disco is a simple functional programming language for use in teaching discrete math.  Its syntax is designed to be close to standard mathematical practice.
Keywords: bsd3|language|library|program