Giters

JadenGeller / Tart

A simple dependently typed programming language based on…

Home Page:https://github.com/sweirich/pi-forall

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dependent-typesprogramming-languagetype-system

Tart

Tart is a work-in-progress depedently-typed programming language.

About

A simple dependently typed programming language based on…

https://github.com/sweirich/pi-forall

dependent-typesprogramming-languagetype-system

License:MIT License

Languages

Language:Haskell 100.0%