Giters

SamirTalwar / plfa

My solutions to the exercises in the book, Programming Language Foundations in Agda.

Home Page:https://plfa.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

My solutions to the exercises in the book, Programming Language Foundations in Agda.

https://plfa.github.io

Languages

Language:Agda 99.9%Language:Nix 0.1%Language:Shell 0.0%