Skip to main content

AcornDownload Tutorial Language Reference Library Reference CLI Blog

Recent posts

2026

OmegaCombinator's Freek Top 100 Formalization Project in Acorn
Constrained Types Return Options

2025

Square Brackets
Proof Certificates
Extending Typeclasses

Tags

F

formalization1

L

language5

M

meta1

T

tooling2

Docs

Download
Tutorial
Language Reference
Library Reference

More

Twitter / X
Discord
Blog
GitHub

Copyright © 2026. Built with Docusaurus.