Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
cabal.project
Find file
Blame
Permalink
Jan 27, 2020
a467425e
Move `language-coq` and `haskell-src-transformations` to `FreeProving`
· a467425e
Justin Andresen
authored
Jan 27, 2020
a467425e
Move `language-coq` and `haskell-src-transformations` to `FreeProving`
Justin Andresen
authored
Jan 27, 2020
Loading
Justin Andresen authoredJustin Andresen authored