Skip to content
/ dependent_traits Public

A dependent type system built entirely in Rust's trait system (WIP).

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

pythonesque/dependent_traits

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
src
src
 
 
.gitignore
.gitignore
 
 
Cargo.lock
Cargo.lock
 
 
Cargo.toml
Cargo.toml
 
 

About

A dependent type system built entirely in Rust's trait system (WIP).

Activity

Stars

24 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages