git.lukelau.me Git - scheme.git/search

2019-07-28	Luke Lau	Break up lets into SCCs before typechecking	commit \| commitdiff \| tree
2019-07-28	Luke Lau	Add some documentation to the abi	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Add a bunch more tests	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Fill in missing builtin lambda info	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Fix overwriting preserved base pointer in prolog	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Add new test	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Allocate and pass closures on the heap	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Merge branch 'master' of lukelau.me:/srv/git/scheme	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Add darwin target support	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Codegen if statements	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Add ast-traverse helper	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Refactor ast "pattern matching" to a single function	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Add recursive let-bindings	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Fix some normalization issues, add codegen tests	commit \| commitdiff \| tree
2019-07-22	Luke Lau	First pass at lambdas and closures	commit \| commitdiff \| tree
2019-07-21	Luke Lau	Add pretty printing for types	commit \| commitdiff \| tree
2019-07-21	Luke Lau	Add more binary ops	commit \| commitdiff \| tree
2019-07-20	Luke Lau	Resolve types in lambda arguments, recursively substitute	commit \| commitdiff \| tree
2019-07-20	Luke Lau	Normalize lambdas to be single arguments only	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Split out compiler into codegen and main	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Fix up codegen-add for vars	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add let bindings	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add .gitignore	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add consolidation, tie up with typechecker	commit \| commitdiff \| tree

Statically typed functional language, to be named

RSS Atom