Giters

clayrat / desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

About

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

License:GNU General Public License v3.0

Languages

Language:Idris 100.0%