LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Scala

mlscript

Principal Type Inference in a Boolean Algebra of Structural Types

ScalaEmerging

Stars

2

Forks

1

Contributors

8

Last push

3d ago

Recent commits

Latest commits.

Replace triggerBy with dependsOn (#155)
9258dc9Cunyuan(Holden) Gao43mo ago
Fix typo (#154)
47050cbjawadcode43mo ago
Fix parsing of `mut` modifier
247c34bLionel Parreaux43mo ago
Parse type ranges and add wildcard and type range tests
148aab7Lionel Parreaux43mo ago
Remove warning from code base
1f4afe8Lionel Parreaux43mo ago

Make minor modification to how type variables are unified with dominating atoms

e78b73eLionel Parreaux43mo ago

Merge pull request #150 from chengluyu/ucs-translation

53a008aLionel Parreaux43mo ago

Minor UCS PR polishing

301e4d0Lionel Parreaux43mo ago

Top contributors

Builders behind this project.