https://github.com/remulang/hybrid-type-system

Row + Implicit arguments + MLF.
https://github.com/remulang/hybrid-type-system

row-polymorphism traits type-classes type-inference type-system

Last synced: about 2 months ago
JSON representation

Row + Implicit arguments + MLF.

• Host: GitHub
• URL: https://github.com/remulang/hybrid-type-system
• Owner: RemuLang
• License: mit
• Created: 2020-01-10T11:12:11.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-01-17T11:03:56.000Z (over 6 years ago)
• Last Synced: 2024-01-29T10:32:58.957Z (about 2 years ago)
• Topics: row-polymorphism, traits, type-classes, type-inference, type-system
• Language: Python
• Size: 85 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project