haskellToCoqCompiler.cabal · 240cea28470cd4d588ab8566035dc13d20e1d8b2 · Justin Andresen / haskell-to-coq-compiler · GitLab

Skip to content

GitLab

Explore

Sign in

haskell-to-coq-compiler
haskellToCoqCompiler.cabal

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