Giters

siddhartha-gadgil / learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Home Page:http://learnyouanagda.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Learn you an Agda (and achieve enlightenment)

http://learnyouanagda.com

License:BSD 3-Clause "New" or "Revised" License