Danila Fedorin
be50c76cb1
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> |
||
---|---|---|
.. | ||
Base.agda | ||
Graphs.agda | ||
Properties.agda | ||
Semantics.agda | ||
Traces.agda |
Danila Fedorin
be50c76cb1
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com> |
||
---|---|---|
.. | ||
Base.agda | ||
Graphs.agda | ||
Properties.agda | ||
Semantics.agda | ||
Traces.agda |