kennknowles/python-rightarrow
A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types" :-)
Stars: 59Language: Python
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types" :-)