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. |