A Dependently Typed Functional Programming Language

♊ higher-order, no-boilerplate monads

Automatic testing of Haskell programs.

High-resolution clock functions: monotonic, realtime, cputime.

Install everything.

Haskell bindings for TrailDB

Template Haskell hack to violate another module's abstractions