LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Standard ML

mlton

The MLton repository

Standard MLEmerging

Stars

3

Forks

1

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

Merge pull request #627 from MatthewFluet/deep-flatten-bug
61baac7Matthew Fluet8mo ago
Unify elements of `Array_copy{Array,Vector}` args in `DeepFlatten`
419e706Matthew Fluet8mo ago
Merge pull request #624 from MatthewFluet/misc-updates
e3b5896Matthew Fluet9mo ago
Fix typo in CHANGELOG
25f5bc2Matthew Fluet9mo ago
Update Copyright year in LICENSE file
6923203Matthew Fluet9mo ago

Merge pull request #623 from MatthewFluet/useless-bug-622

ccf8338Matthew Fluet9mo ago

Make `Array_alloc` arg useful when result array's length is useful

ebc1099Matthew Fluet9mo ago

Rename some utility functions in `Useless` pass

5e09ad9Matthew Fluet9mo ago

Top contributors

Builders behind this project.