Mercurial > hg > Members > atton > agda-proofs
directory /cbc/ @ 73:a5cac9483f91
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 atton-master-sample.agda
|
874 | -rw-r--r-- |
|
maybe-subtype
|
0 | -rw-r--r-- |
|
maybe-subtype-sample.agda
|
1663 | -rw-r--r-- |
|
maybe-subtype.agda
|
319 | -rw-r--r-- |
|
product.agda
|
1622 | -rw-r--r-- |
|
stack-product.agda
|
5339 | -rw-r--r-- |
|
stack-subtype-sample.agda
|
9940 | -rw-r--r-- |
|
stack-subtype.agda
|
3302 | -rw-r--r-- |
|
subtype-sample.agda
|
2919 | -rw-r--r-- |
|
subtype.agda
|
1984 | -rw-r--r-- |
|
tuple.agda
|
1061 | -rw-r--r-- |
|
variable-tuple.agda
|
767 | -rw-r--r-- |