Giters

andorp / DepPy

Imagine a Dependently Typed Python

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DepPy

Imagine a Dependently Typed Python

About

Imagine a Dependently Typed Python

License:MIT License

Languages

Language:Python 90.2%Language:Agda 9.8%