matt-noonan gdp issues - Githubissues

matt-noonan / gdp

Ghosts of Departed Proofs

BSD 3-Clause "New" or "Revised" License

60 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

`...>` has a nonsensical type

#22 Lysxia opened 1 year ago
0
Proof has phantom role

#21 Lysxia opened 1 year ago
0
Missing COMPLETE pragma for The

#20 isovector opened 2 years ago
0
I made a tutorial video, interested in feedback

#19 bjornkihlberg opened 3 years ago
2
is the type of substitute correct?

#18 gelisam opened 4 years ago
1
Add De Morgan proofs

#17 jali-clarke closed 4 years ago
1
Functor/Applicative/Monad instances

#16 BlackCapCoder opened 4 years ago
0
Fix Logic.Implicit.on haddock format

#15 wbadart closed 4 years ago
1
Constructors for propositions?

#14 jkarni closed 4 years ago
2
Doc fix and "p |-> Proof p"

#13 peterwicksstringfield closed 4 years ago
1
Fix "ones" Haddock typo for `substitute` in src/Theory/Equality.hs

#12 mattaudesse closed 5 years ago
1
Bump package version

#11 spacekitteh closed 5 years ago
0
Release version 0.0.0.3

#10 spacekitteh closed 5 years ago
3
Apply/substitute use Proof arguments

#9 spacekitteh closed 5 years ago
1
Should all propositions be wrapped in Proof?

#8 brnzhg closed 5 years ago
2
Allow the use of kinds other than * in Proofs

#7 shangaslammi closed 6 years ago
1
Kind of GetArg

#6 shangaslammi closed 6 years ago
1
PolyKinded Equality

#5 shangaslammi closed 6 years ago
1
Be more cautious about inferred roles

#4 matt-noonan closed 5 years ago
4
Refactor logic

#3 endgame closed 6 years ago
3
Imrpovements to the logic system

#2 endgame closed 6 years ago
1
fix github link in cabal file

#1 chessai closed 6 years ago
1