LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

acorn

The core implementation of the Acorn language.

OtherEmerging

Stars

—

Forks

—

Contributors

4

Last push

7mo ago

Recent commits

Latest commits.

a final verification step for the cleaner
8786490Kevin Lacker7mo ago
early exit mode
9986745Kevin Lacker7mo ago
test_proving_with_typeclass_constrained_attributes
e8dc058Kevin Lacker8mo ago
more typeclass tests
57a61d1Kevin Lacker8mo ago
attributes on more specific things
5f438deKevin Lacker8mo ago

typeclass parameters

34e55e5Kevin Lacker8mo ago

9d6dd31Kevin Lacker8mo ago

2588b28Kevin Lacker8mo ago

Top contributors

Builders behind this project.