13 Commits (main)

 

All Branches   

Search

Author	SHA1	Message	Date
Avery	bea0783a17	Grammar updates	3 weeks ago
Avery	3fc99af58b	Codemaiding the codemaids code	4 weeks ago
Avery	9f69cfd65b	Small fixes and more builtins	4 weeks ago
Avery	0dc2f7be84	New reduction engine that does builtins and beta simulatniously	4 weeks ago
Avery	b1b7d46358	Clippy	4 weeks ago
Avery	987102ac44	Tag aware unification type inference	4 weeks ago
Avery	766da2593e	Inference by unification	4 weeks ago
Avery	305e95846d	New parser and grammar	4 weeks ago
Avery	32f8f7c29a	Buildtins	1 month ago
Avery	6a46c6ca52	Type tags, fix deBrujin beta reduction, DeBrujinAst -> Ast, type inference on DeBrujinAst	1 month ago
Avery	134f803b88	Readme	1 month ago
Avery	c8062f7843	Repl	1 month ago
Avery	36aeb10da9	Initial commit	1 month ago