Skip to content
GitLab
Explore
Sign in
Justin Andresen
haskell-to-coq-compiler
Repository
Branches
Overview
Active
Stale
All
Stale branches
pattern-matching-compiler
e408dbdd
·
Add command line option to dump transformed modules
#9
·
Nov 18, 2019
expr-type-sigs
a18ae260
·
Don't allow scoped type variables
#15
·
Dec 11, 2019
docs
bccc00fd
·
Add link to module interface documentation to README
#14
·
Dec 16, 2019
annotations
dd127542
·
Add hint for decreasing argument pragma to error message
#21
·
Jan 14, 2020
github
6376e0ef
·
Use hash of `cabal.project` and `haskellToCoqCompiler.cabal` in GitHub actions cache
#22
·
Jan 23, 2020