@hackage nanoAgda0.1.0

A toy dependently-typed language

  • Categories

    • License

      LicenseRef-OtherLicense

    • Maintainer

      jeanphilippe.bernardy@gmail.com

    • Versions

    nanoAgda implements a type-checker for a toy dependently-typed language. The goal of the project is to provide a minimal type-checker with dependent types that can be easily fiddled with.