Ctrlk

Powered by GitBook

On this page

Programming
Functional programming
Dependent Types

Agda

Tutorials

Programming Language Foundations in Agda

Papers

Dependently Typed Programming in Agda

PreviousDependent Types NextIdris

Last updated 6 years ago

Tutorials
Papers