lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

TODO.md (713B)

      1 - Make a stable vs. unstable/tentative distinction for all modules
      2 
      3 - Containers: Dict (Map), Set, Seq?, various trees/forests/DAGs
      4 - ST and mutable containers (Arrays, HashMaps)
      5 - Torsors
      6 - Integer, Natural, Rational, {Int,Nat}{8,16,32,64}
      7 - Flt{32,64}
      8 - Text/String
      9 - containers
     10 - Some, All, End, Coend, etc.
     11 - Reduce hom functor dupe with defaults exported from Hom
     12 - Heyting algebra (bounded lattice + implication?), Boolean algebra (heyting + excluded middle)
     13 - Representable functors for indexing, memoization, etc.
     14 
     15 - Basically everything should be unlifted by default, and all abstractions
     16   should work with unlifted things (in addition to lifted things). In many
     17   places, this means duplicating stuff.