Latest version: v0.4
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types"
No known vulnerabilities found