►Cur
▼3 Standard Library
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
7.7
  top  ← prev  up  next → 

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

  top  ← prev  up  next → 
 
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?f1ba5b4a33d29d84db69f029b9ace483"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })();