Commit Graph

Select branches

Hide Pull Requests

letin

main

Mono Color

• 90acd1a20a
  
  Grammar and parsing for `let x: T := y in z` letin Avery 2025-03-24 11:29:41 +0100
• bea0783a17
  
  Grammar updates main Avery 2025-03-22 14:12:06 +0100
• 3fc99af58b
  
  Codemaiding the codemaids code Avery 2025-03-21 14:06:42 +0100
• 9f69cfd65b
  
  Small fixes and more builtins Avery 2025-03-20 20:56:53 +0100
• 0dc2f7be84
  
  New reduction engine that does builtins and beta simulatniously Avery 2025-03-20 20:12:07 +0100
• b1b7d46358
  
  Clippy Avery 2025-03-20 16:44:58 +0100
• 987102ac44
  
  Tag aware unification type inference Avery 2025-03-20 16:35:31 +0100
• 766da2593e
  
  Inference by unification Avery 2025-03-17 21:51:27 +0100
• 305e95846d
  
  New parser and grammar Avery 2025-03-16 12:54:29 +0100
• 32f8f7c29a
  
  Buildtins Avery 2025-03-14 23:41:50 +0100
• 6a46c6ca52
  
  Type tags, fix deBrujin beta reduction, DeBrujinAst -> Ast, type inference on DeBrujinAst Avery 2025-03-14 21:37:30 +0100
• 134f803b88
  
  Readme Avery 2025-03-13 22:18:46 +0100
• c8062f7843
  
  Repl Avery 2025-03-13 22:07:44 +0100
• 36aeb10da9
  
  Initial commit Avery 2025-03-13 21:15:42 +0100