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