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