| Paradigms | functional programming |
|---|---|
| Typing discipline | structural typing, refinement typing, static typing |
| First appeared | 2019 |
| Developer | Microsoft Research |
| Type | programming language |
| License | MIT License |
| Website | microsoft.com |
| Platforms | Microsoft Windows |
Sources: Wikidata (CC0) · Wikidata Q63243349