Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 24 Mar 2014 16:45:25 +0700 | Shinji KONO | add Tree example ( not yet worked ) |
Sun, 23 Mar 2014 07:31:20 +0700 | Shinji KONO | λ |
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 |