search

matt-noonan / gdp

Ghosts of Departed Proofs
BSD 3-Clause "New" or "Revised" License
60 stars 11 forks source link

Allow the use of kinds other than * in Proofs #7

Closed shangaslammi closed 6 years ago

shangaslammi commented 6 years ago

Resolves issues #5 and #6.

matt-noonan commented 6 years ago

Looks good, thanks!