Mercurial > hg > Members > atton > agda-proofs
comparison cbc/variable-tuple.agda @ 38:a0ca5e29a9dc
Call subtype using user-defined cast operator
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 03 Jan 2017 05:19:04 +0000 |
parents | d503a73186ce |
children |
comparison
equal
deleted
inserted
replaced
37:60e604972f30 | 38:a0ca5e29a9dc |
---|