Skip to content

Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables.#21

Merged
Ycyken merged 15 commits intomasterfrom
typecheck
Dec 16, 2024
Merged

Implement Let, LetIn, Match inference, REPL now saves type environment and state for type variables.#21
Ycyken merged 15 commits intomasterfrom
typecheck

Commits

Commits on Dec 14, 2024

Commits on Dec 15, 2024

Commits on Dec 16, 2024