Mercurial > hg > Members > atton > delta_monad
directory /agda/ @ 105:e6499a50ccbd
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 delta/
|
drwxr-xr-x | |
|
deltaM/
|
drwxr-xr-x | |
 basic.agda
|
265 | -rw-r--r-- |
|
delta.agda
|
5141 | -rw-r--r-- |
|
deltaM.agda
|
3898 | -rw-r--r-- |
|
laws.agda
|
2000 | -rw-r--r-- |
|
list.agda
|
843 | -rw-r--r-- |
|
nat.agda
|
952 | -rw-r--r-- |
|
patterns.rb
|
5229 | -rw-r--r-- |
|
revision.agda
|
668 | -rw-r--r-- |