@hackage / nanoAgda

A toy dependently-typed language

Latest1.0.0

About

Metadata

  • Last updated , by JeanPhilippeBernardy
  • License LicenseRef-OtherLicense

  • Maintained by: jeanphilippe.bernardy@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.