├── .gitignore ├── Closed.agda ├── Example.agda ├── Gluing.agda ├── Prelude.agda └── Refine.agda /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | *~* 3 | *\#* 4 | -------------------------------------------------------------------------------- /Closed.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/agda-stc/HEAD/Closed.agda -------------------------------------------------------------------------------- /Example.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/agda-stc/HEAD/Example.agda -------------------------------------------------------------------------------- /Gluing.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/agda-stc/HEAD/Gluing.agda -------------------------------------------------------------------------------- /Prelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/agda-stc/HEAD/Prelude.agda -------------------------------------------------------------------------------- /Refine.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/agda-stc/HEAD/Refine.agda --------------------------------------------------------------------------------