changeset | 207e6c4e155c |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | automaton-in-agda/src/nfa.agda automaton-in-agda/src/regex.agda automaton-in-agda/src/regex1-ex.agda automaton-in-agda/src/regular-language.agda automaton-in-agda/src/sbconst2.agda |
changeset | db02b6938e04 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | StarProp and Ntrace |
files | a04/lecture.ind automaton-in-agda/src/nfa136.agda automaton-in-agda/src/regular-language.agda |
changeset | 4e4acdc43dee |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | automaton-in-agda/src/regular-language.agda |
changeset | 3d0aa205edf9 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | a04/lecture.ind automaton-in-agda/src/flcagl.agda automaton-in-agda/src/halt.agda automaton-in-agda/src/nfa136.agda automaton-in-agda/src/regular-language.agda |
changeset | c7ad8d2dc157 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | safe halt.agda |
files | automaton-in-agda/src/finiteFunc.agda automaton-in-agda/src/halt.agda automaton-in-agda/src/turing.agda automaton-in-agda/src/utm.agda |
changeset | a60132983557 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | a01/lecture.ind a02/agda-install.ind a02/agda.ind a02/agda/dag.agda a02/agda/data1.agda a02/agda/equality.agda a02/agda/lambda.agda a02/agda/level1.agda a02/agda/list.agda a02/agda/logic.agda |
changeset | af8f630b7e60 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | automaton-in-agda/src/automaton-ex.agda automaton-in-agda/src/cfg.agda automaton-in-agda/src/cfg1.agda automaton-in-agda/src/chap0.agda automaton-in-agda/src/derive.agda automaton-in-agda/src/deriveUtil.agda automaton-in-agda/src/even.agda automaton-in-agda/src/extended-automaton.agda automaton-in-agda/src/finiteSetUtil.agda automaton-in-agda/src/flcagl.agda |
changeset | dfaf230f7b9a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | automaton-in-agda/src/finiteSetUtil.agda |
changeset | c298981108c1 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix for std-lib 2.0 |
files | automaton-in-agda/automaton-in-agda.agda-lib automaton-in-agda/src/automaton.agda automaton-in-agda/src/bijection.agda automaton-in-agda/src/derive.agda automaton-in-agda/src/fin.agda automaton-in-agda/src/finiteSet.agda automaton-in-agda/src/finiteSetUtil.agda automaton-in-agda/src/logic.agda automaton-in-agda/src/nat.agda automaton-in-agda/src/non-regular.agda |
changeset | 093e386c10a2 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files | automaton-in-agda/src/derive.agda |