search

matt-noonan / gdp

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

`...>` has a nonsensical type #22

Open Lysxia opened 1 year ago

Lysxia commented 1 year ago 
(...>) :: a ::: p -> (p -> Proof q) -> a ::: q

shouldn't it be

(...>) :: a ::: p -> (Proof p -> Proof q) -> a ::: q

?