Skip to content
GitLab
Explore
Sign in
Justin Andresen
haskell-to-coq-compiler
Issues
#1
Use sections for translation of higher order functions
Add
SectionSentence
to
language-coq
Identify constant arguments
Generate section sentence
Edited
Nov 23, 2019
by
Justin Andresen