This repository has been archived by the owner on Feb 6, 2022. It is now read-only.

JadenGeller / Tart Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 2

A simple dependently typed programming language based on…

github.com/sweirich/pi-forall

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
Sources		Sources
FEATURES.md		FEATURES.md
LICENSE		LICENSE
MILESTONES.md		MILESTONES.md
PROGRESS.md		PROGRESS.md
README.md		README.md
REFERENCES.md		REFERENCES.md

Repository files navigation

Tart

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

About

A simple dependently typed programming language based on…

github.com/sweirich/pi-forall

programming-language dependent-types type-system

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%