Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
cabal.project
Find file
Blame
Permalink
Oct 18, 2019
792d329f
Add dependency for Haskell code transformation library
#4
· 792d329f
Justin Andresen
authored
Oct 18, 2019
792d329f
Add dependency for Haskell code transformation library
#4
Justin Andresen
authored
Oct 18, 2019
Loading
Justin Andresen authoredJustin Andresen authored