Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
README.md
Find file
Blame
Permalink
Dec 16, 2019
bccc00fd
Add link to module interface documentation to README
#14
· bccc00fd
Justin Andresen
authored
Dec 16, 2019
bccc00fd
Add link to module interface documentation to README
#14
Justin Andresen
authored
Dec 16, 2019
Loading
Justin Andresen authoredJustin Andresen authored