Giters

andorp / PLFI

Programming Language Foundations in Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PLFI

Programming Language Foundations in Idris

About

Programming Language Foundations in Idris

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

Languages

Language:Idris 99.8%Language:Makefile 0.2%