Labels · owo-lang/voile-rs

After desugar, before type-checking

bug

Something isn't working

builtin

Attach built-in definitions

compile

Abstract to Core, based on typecheck result

core

Well-typed term

desugar

Surface to Abstract

Discussion thread about anything

For review only

For people to understand

This issue or pull request already exists

New feature or request

So people understand what's wrong

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

Merged by hand, instead of using GitHub's merge functionality

Provide feedback