Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 22 Mar 2014 18:46:51 +0700 | Shinji KONO | fix |
Sat, 22 Mar 2014 18:34:13 +0700 | Shinji KONO | add : Int X -> Int X -> Int X |
Sat, 22 Mar 2014 14:55:51 +0700 | Shinji KONO | factorial still have a problem |
Sat, 22 Mar 2014 13:55:26 +0700 | Shinji KONO | factoral done. |
Sat, 22 Mar 2014 11:51:34 +0700 | Shinji KONO | fact |
Sat, 22 Mar 2014 10:22:25 +0700 | Shinji KONO | remove module level |
Sat, 22 Mar 2014 09:31:46 +0700 | Shinji KONO | no yellow on append example |