├── .gitignore ├── AbsSynToTerm.hs ├── Basics.hs ├── Display.hs ├── LICENSE ├── Main.hs ├── Options.hs ├── README.md ├── RawSyntax.hs ├── Terms.hs ├── TestSyntax.hs ├── TypeChecker.hs ├── examples ├── Arrow.na ├── Nat.na ├── Nat.type.na └── Nats.na └── nanoAgda.cabal /.gitignore: -------------------------------------------------------------------------------- 1 | dist 2 | *~ 3 | -------------------------------------------------------------------------------- /AbsSynToTerm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/AbsSynToTerm.hs -------------------------------------------------------------------------------- /Basics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/Basics.hs -------------------------------------------------------------------------------- /Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/Display.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/Main.hs -------------------------------------------------------------------------------- /Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/Options.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/README.md -------------------------------------------------------------------------------- /RawSyntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/RawSyntax.hs -------------------------------------------------------------------------------- /Terms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/Terms.hs -------------------------------------------------------------------------------- /TestSyntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/TestSyntax.hs -------------------------------------------------------------------------------- /TypeChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/TypeChecker.hs -------------------------------------------------------------------------------- /examples/Arrow.na: -------------------------------------------------------------------------------- 1 | * -> * 2 | -------------------------------------------------------------------------------- /examples/Nat.na: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/examples/Nat.na -------------------------------------------------------------------------------- /examples/Nat.type.na: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/examples/Nat.type.na -------------------------------------------------------------------------------- /examples/Nats.na: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/examples/Nats.na -------------------------------------------------------------------------------- /nanoAgda.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/nano-Agda/HEAD/nanoAgda.cabal --------------------------------------------------------------------------------