https://github.com/rybla/modut

A statically typed functional programming language with structural refinement types and modular data types.
https://github.com/rybla/modut

Last synced: about 4 hours ago
JSON representation

A statically typed functional programming language with structural refinement types and modular data types.

• Host: GitHub
• URL: https://github.com/rybla/modut
• Owner: rybla
• License: mit
• Created: 2022-10-16T02:50:51.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2022-11-26T14:25:48.000Z (almost 2 years ago)
• Last Synced: 2024-03-07T06:44:04.923Z (8 months ago)
• Size: 30.3 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# modut

A programming language with...

- functional

- statically typed

- substructurally typed (subtypes)

- conjunctions/disjunctions of types

- tagged types

- [structural refinement types][struct-ref-types-tyde2022]