kennknowles / python-rightarrowLinks

A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types" :-)
59Updated 11 years ago

Alternatives and similar repositories for python-rightarrow

Users that are interested in python-rightarrow are comparing it to the libraries listed below

Sorting: