Awesome
<p align="center"><img alt="Vulpi Logo" height="150px" src="images/logo.png"></p> <h2 align="center">The Vulpi Compiler</h2>Tasks
- Lexer
- Layout Parsing
- Escape
- Interpolation
- Parser
- Types
- Algebraic Data Types
- Declaration
- Generalized Version
- Kinds
- Records
- Instance
- Update
- Declaration
- Projection
- Effects
- Declaration
- Handler
- Traits
- Implementation
- Constraint Syntax
- Abstract Data Types
- Type Synonyms
- Tuple
- Algebraic Data Types
- Let declarations
- Let cases
- Patterns
- Record Pattern
- ADT Pattern
- Guards
- Or Pattern
- Blocks
- Modules
- Public / Private things
- Deriving Syntax
- Expressions
- Operators
- Section Patterns
- Function applications In Half
- Pipe and Composition
- Precedence
- Type ascription
- Function Call
- Let Expression
- Lambda Expression
- Do Expression
- When Expression
- If Expression
- Record Expression
- Tuple Expression
- List Expression
- Unit expression
- Operators
- Attributes
- Import
- Types
- Resolution
- Visibility resolution
- Name resolution
- Duplicated pattern name checking
- Or Pattern
- Desugar
- Type checker
- Higher rank polymorphism
- Higher kinded types
- Entailment
- Coverage checker
- Perceus
- LLVM