ExtensionAPI is here!#36

Merged

EkanshdeepGupta merged 45 commits intomainfrom

eg/error_credits_ext

Jan 28, 2026

Commits on Jun 3, 2025

fix error reporting issue
wies
committed

Commits on Nov 18, 2025

Commits on Nov 25, 2025

Catch module-level var declarations in type checker rather than parser. Fixes #31.
wies
committed

Commits on Dec 4, 2025

Made skolem vars consts; tests that failed due to previous change now pass.
EkanshdeepGupta
committed

Commits on Dec 12, 2025

Fix type-checking bug that allowed access to members of interfaces from outside of their scopes; some clean-up along the way
wies
committed
update CHANGELOG
wies
committed

Commits on Dec 14, 2025

Commits on Dec 19, 2025

Commits on Dec 23, 2025

Commits on Dec 29, 2025

Many many bug fixes. redesign of syntax for AU resources and AU commands. Partial implementation of rdcss (`complete()` proc for now).
EkanshdeepGupta
committed

Commits on Dec 31, 2025

Commits on Jan 8, 2026

Started creating a tutorial for Raven Extensions: added ext/README.md as well as sampleExt
EkanshdeepGupta
committed

Commits on Jan 11, 2026

Fixes #35
wies
committed

Commits on Jan 13, 2026

Commits on Jan 25, 2026

Commits on Jan 26, 2026

Added --extension command line option. Added Dockerfile and docker image.
EkanshdeepGupta
committed

Commits on Jan 28, 2026

fixed README.md
EkanshdeepGupta
committed