search

ptal / Rust.Paper

temporal concurrent constraint language
Apache License 2.0
0 stars 0 forks source link

Specific types for edge index and vertex index #6

Open ptal opened 9 years ago

ptal commented 9 years ago

This would prevent mixing the two with the help of the type checker.