j
k
j a
j l
On 3 April 2013 18:08, Richard Eisenberg wrote:
What other instances should there be for (:~:)?
Maybe: instance Category (:~:) where id = Refl Refl . Refl = Refl Bas
Back to the thread
Back to the list
