Skip to main content

AcornDownload Tutorial Language Reference Library Reference CLI Blog

Recent posts

2025

Square Brackets
Proof Certificates
Extending Typeclasses
Typeclasses and Generic Inductive Types
The Build Cache

Authors

Kevin Lacker
7
Generalist

Docs

Download
Tutorial
Language Reference
Library Reference

More

Twitter / X
Discord
Blog
GitHub

Copyright © 2025. Built with Docusaurus.