A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types" :-)
There are no reported vulnerabilities
30 Day SummaryJun 6 2025 — Jul 6 2025
|
12 Month SummaryJul 6 2024 — Jul 6 2025
|