Skip to content

🦊 | A language that compiles to LLVM and has algebraic effects

Notifications You must be signed in to change notification settings

algebraic-dev/vulpi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Vulpi Logo

The Vulpi Compiler

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
    • 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
    • Attributes
    • Import
  • 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

About

🦊 | A language that compiles to LLVM and has algebraic effects

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages