comparison thanks.tex @ 48:422e96fda05a

Wrote description monad-laws on delta
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 15 Feb 2015 12:35:58 +0900 (2015-02-15)
parents 1e28ac702c1e
children 6ca594d19ca4
comparison
equal deleted inserted replaced
47:d65a84d36eba 48:422e96fda05a