Skip to content
GitLab
Explore
Sign in
haskell-to-coq-compiler
doc
ModuleInterfaceFileFormat.md
Find file
Blame
Permalink
Dec 15, 2019
6abcf578
Document configuration file format
#14
· 6abcf578
Justin Andresen
authored
Dec 15, 2019
6abcf578
Document configuration file format
#14
Justin Andresen
authored
Dec 15, 2019
Loading
Justin Andresen authoredJustin Andresen authored