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