Giters

liesnikov / agda-core

EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME

About

EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME

License:The Unlicense

Languages

Language:Agda 82.0%Language:Haskell 11.0%Language:Nix 6.3%Language:Makefile 0.8%