Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
haskellToCoqCompiler.cabal
Find file
Blame
Permalink
Jan 27, 2020
7a623a7f
Update dependencies
· 7a623a7f
Justin Andresen
authored
Jan 27, 2020
7a623a7f
Update dependencies
Justin Andresen
authored
Jan 27, 2020
Loading