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" :-)
PythonApache-2.0
Stargazers
- 0x414c
- bhuztez
- boramalperStripe
- cdparksCrowdStrike
- dauregZalando
- east825@JetBrains
- eddy-geek
- effectRussia, Saint Petersburg
- egor-k8nSaint Petersburg, Russia
- elias-fauserSprintEins GmbH
- floydwch@bebit-tech
- gregglindOpen to Opportunities in Product / Data / Climate
- h4ck3rm1k3Introspector Software Services
- jeethu@numen-tech
- joehakimrahmeRed Hat
- judasnow@XiDeHao
- JustinSDKFree Lancer
- liutanyu
- lizh06New York
- mete0r
- naufraghi@develersrl
- nbarbey@leboncoin
- nicoddemusESSS
- officiallyandy
- qba73Ireland
- rachAlt
- relrod@Ansible @ Red Hat, Inc.
- rmacyNashville
- sampsyoCornell University
- sdiehlLondon
- soh-iBC, Canada
- vlasovskikhSaint Petersburg, Russia
- wdv4758hTaipei, Taiwan
- wildmbTaipei
- ymn1kToronto, Canada
- zifotNethone