Mercurial > hg > Members > atton > delta_monad

diff agda/delta.agda @ 137:2bf1fa6d2006

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust codes
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 15 Feb 2015 11:08:33 +0900
parents d205ff1e406f
children
line wrap: on
line diff
--- a/agda/delta.agda	Sun Feb 15 10:15:10 2015 +0900
+++ b/agda/delta.agda	Sun Feb 15 11:08:33 2015 +0900
@@ -54,4 +54,4 @@
         (x : Delta A n) -> (f : A -> (Delta B n)) -> (Delta B n)
 d >>= f = delta-bind d f
 
--}
\ No newline at end of file
+-}