@hackage disco0.2

Functional programming language for teaching discrete math.

Disco is a simple functional programming language for use in teaching discrete math. Its syntax is designed to be close to standard mathematical practice.