disco-0.2: Functional programming language for teaching discrete math.

Index - |

|->Disco.Subst