project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star 19
Fork 3
Watch
Open Closed
New
cabal.project references files not in the repository #4
Closed jonmsterling.com
· · 1 comment ·
build
Crash when having holes under identically named top defs #3
Closed jonmsterling.com
· · 2 comments ·
wontfix
Refactor the value/neutral representation #2
Closed jonmsterling.com
· · 0 comments
Prevent circular definitions #1
Closed jonmsterling.com
· · 1 comment