Stars
15
results
for source starred repositories
written in Agda
Clear filter
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A Logical Relation for Martin-Löf Type Theory in Agda
An implementation of Functional Reactive Programming
A Dependently Typed Linear π-Calculus in Agda
being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017