Cur has a small standard library, primary for demonstration purposes.
3.1Datum
3.2Sugar
3.3Bool
3.4Nat
3.5Dependent Pairs
3.6Maybe
3.7List
3.8Equality
3.9ASCII
3.10Racket ASCII
3.11Typeclass
AltStyle γ«γγ£γ¦ε€ζγγγγγΌγΈ (->γͺγͺγΈγγ«) / γ’γγ¬γΉ: γ’γΌγ: γγγ©γ«γ ι³ε£°γγ©γ¦γΆ γ«γδ»γ ι θ²εθ»’ ζεζ‘ε€§ γ’γγ€γ«