changeset | 875b811f3ff1 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | logic.agda nat.agda prob1.agda |
changeset | b5e8e6be9425 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | prob1.agda |
changeset | 1e3130896834 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | maxA done (all 0,1,2 done) |
files | nat.agda prob1.agda |
changeset | 908409975a5e |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | prob1.agda |
changeset | 7256d3d032e4 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | minor fix |
files | prob1.agda |
changeset | 24864ed3b6d3 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | change to uniquness |
files | prob1.agda |
changeset | 8ef3eecd159f |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | all done |
files | nat.agda prob1.agda |
changeset | 73511e7ddf5c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | u2 done |
files | prob1.agda |
changeset | fd8633b6d551 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | clean up |
files | prob1.agda |
changeset | 805986409de4 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | u1 done |
files | nat.agda prob1.agda |