Mercurial > hg > Members > atton > delta_monad
comparison delta.hs @ 71:56da62d57c95
Change prove method. use Int ...
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 27 Nov 2014 23:16:55 +0900 |
parents | 295e8ed39c0c |
children | 0ad0ae7a3cbe |
comparison
equal
deleted
inserted
replaced
70:18a20a14c4b2 | 71:56da62d57c95 |
---|