search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

heterogeneous equality doesn't have inspect on steroids #991

Open UlfNorell opened 10 years ago

UlfNorell commented 10 years ago

From jmchap...@gmail.com on December 06, 2013 22:53:17

patch attached.

Attachment: heteq_inspect_on_steroids.patch

Original issue: http://code.google.com/p/agda/issues/detail?id=991

UlfNorell commented 10 years ago

From jmchap...@gmail.com on December 06, 2013 13:54:27

Summary: heterogeneous equality doesn't have inspect on steroids (was: heterogenous equality doesn't have inspect on steroids)

UlfNorell commented 10 years ago

From andreas....@gmail.com on December 07, 2013 02:19:24

Status: Accepted
Labels: Type-Patch Priority-High