changeset | 918a0cf1c056 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/Polynominal.agda |
changeset | 0e750446e463 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/Definitions.agda src/SetsCompleteness.agda src/freyd.agda src/freyd2.agda src/system-f.agda |
changeset | 73c72679421c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/Category/Constructions/Product.agda src/Category/Constructions/Slice.agda src/freyd.agda src/freyd2.agda |
changeset | 45de2b31bf02 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add original library and fix for safe mode |
files | CategoryExcercise.agda-lib CategoryExcercise.agda-pkg src/CCC.agda src/CCCMonoidal.agda src/CatExponetial.agda src/Category.agda src/Category/Cat.agda src/Category/Cone.agda src/Category/Constructions/Coslice.agda src/Category/Constructions/Product.agda |
changeset | 71049ed05151 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/applicative.agda src/monad→monoidal.agda |
changeset | 9914aa88b8f5 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/CCCMonoidal.agda |
changeset | 4a6d3d27a9fb |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/CCChom.agda src/cat-utility.agda src/freyd2.agda |
changeset | 270f0ba65b88 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | unify yoneda functor |
files | src/HomReasoning.agda src/applicative.agda src/freyd2.agda src/yoneda.agda |
changeset | 3cf570d5c285 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/group.agda |
changeset | 043bd660753b |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | src/group.agda |