Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Roman S. Borschel
dependent-haskell

dependent-haskell

Project information

Examples of & experiments with dependently-typed programming in Haskell.

Haskell dependent-types

10 Commits
1 Branch
0 Tags

README
CHANGELOG

Created on

September 12, 2018

Copy SSH clone URLgit@gitlab.com:romanb/dependent-haskell.git
Copy HTTPS clone URLhttps://gitlab.com/romanb/dependent-haskell.git