dth

★ 309 Open GitHub ↗

Examples of Dependently-typed programs in Haskell

// repository documentation