Giters

asajeffrey / tapl

Reading along with Types And Programming Languages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tapl

Reading along with Types And Programming Languages

About

Reading along with Types And Programming Languages

License:Creative Commons Zero v1.0 Universal

Languages

Language:Agda 100.0%