Skip to content
/ chariot Public

Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle

4 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

phyver/chariot

Error
Looks like something went wrong!

About

Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle

Resources

Readme
Activity

Stars

4 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages