Giters

tobal / plfa

Exercises for the book Programming Language Foundations in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

plfa

Exercises for the book Programming Language Foundations in Agda

About

Exercises for the book Programming Language Foundations in Agda

License:Apache License 2.0

Languages

Language:Agda 100.0%