Allow custom operator definitions#14

Draft

samestep wants to merge 81 commits intomainfrom

Commits on Dec 9, 2025

Commits on Dec 10, 2025

Commits on Dec 11, 2025

Commits on Dec 18, 2025

Sketch syntax for returning existential contexts
samestep
committed

Commits on Dec 27, 2025

Commits on Dec 30, 2025

Commits on Jan 4, 2026

Start updating expression lowering
samestep
committed

Commits on Jan 5, 2026

Fix all type errors in `lower.rs`
samestep
committed

Commits on Jan 12, 2026

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Commits on Jan 15, 2026

Commits on Jan 16, 2026

Commits on Jan 27, 2026

Start processing bindings in function bodies
samestep
committed

Commits on Jan 28, 2026

Start implementing a divide-and-conquer algorithm
samestep
committed

Commits on Jan 29, 2026