https://github.com/ayazhafiz/lang_narrow

A language with flow typing and structural type narrowing.
https://github.com/ayazhafiz/lang_narrow

Last synced: 2 months ago
JSON representation

A language with flow typing and structural type narrowing.

• Host: GitHub
• URL: https://github.com/ayazhafiz/lang_narrow
• Owner: ayazhafiz
• Created: 2021-01-04T03:06:57.000Z (almost 4 years ago)
• Default Branch: base
• Last Pushed: 2022-05-31T04:49:06.000Z (over 2 years ago)
• Last Synced: 2024-05-02T02:22:24.318Z (8 months ago)
• Language: OCaml
• Homepage: https://ayazhafiz.com/lang_narrow
• Size: 2.18 MB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project