Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
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 |