hub.darcs.net :: olf

olf's repositories

• closed-intervals — Closed intervals of totally ordered types
• cubetowers — An eductional language describing towers of cubes
• faster-megaparsec — Speed up Megaparsec parsing when parsing succeeds
• GenericForm — Forms for Generic values
• haskell_for_mathematicians — An interactive Haskell course for mathematicians
• provenience — Computations that automatically track data dependencies
• refined-subtype — compute subtypes from refinement types