├── readme.md └── src └── Cubes ├── Core.agda ├── Prelude.agda ├── Structures.agda ├── Term.agda ├── Test ├── Combinators.agda ├── Path.agda └── Rules.agda ├── Typecheck.agda └── Value.agda /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/readme.md -------------------------------------------------------------------------------- /src/Cubes/Core.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Core.agda -------------------------------------------------------------------------------- /src/Cubes/Prelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Prelude.agda -------------------------------------------------------------------------------- /src/Cubes/Structures.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Structures.agda -------------------------------------------------------------------------------- /src/Cubes/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Term.agda -------------------------------------------------------------------------------- /src/Cubes/Test/Combinators.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Test/Combinators.agda -------------------------------------------------------------------------------- /src/Cubes/Test/Path.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Test/Path.agda -------------------------------------------------------------------------------- /src/Cubes/Test/Rules.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Test/Rules.agda -------------------------------------------------------------------------------- /src/Cubes/Typecheck.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Typecheck.agda -------------------------------------------------------------------------------- /src/Cubes/Value.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effectfully/Cubes/HEAD/src/Cubes/Value.agda --------------------------------------------------------------------------------