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