7.1

3 Standard Library

Cur has a small standard library, primary for demonstration purposes.

    3.1 Datum

    3.2 Sugar

    3.3 Bool

    3.4 Nat

    3.5 Dependent Pairs

    3.6 Maybe

    3.7 List

    3.8 Equality

    3.9 ASCII

    3.10 Racket ASCII

    3.11 Typeclass