Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
LICENSE
Find file
Blame
Permalink
Sep 24, 2019
91c303f3
Move compiler implementation to root directory
· 91c303f3
Justin Andresen
authored
Sep 24, 2019
91c303f3
Move compiler implementation to root directory
Justin Andresen
authored
Sep 24, 2019
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more
Loading
Justin Andresen authoredJustin Andresen authored