hub.darcs.net :: olf

olf's repositories

• closed-intervals — Closed intervals of totally ordered types
• cubetowers — An eductional language describing towers of cubes
• haskell_for_mathematicians — An interactive Haskell course for mathematicians
• provenience — Computations that automatically track data dependencies