jpvillaisaza/abel

Category theory applied to functional programming

Agda