dcreager.net

Reading log

2023-03-23

Found [Braswell2023] on arXiv, which led to [Shutt2010] as its primary reference. Looks like an interesting take on unifying functions and macros. Wonder if this is a good formalization of Zig-style comptime?

[Braswell2023] Practical compilation of fexprs using partial evaluation

[Shutt2010] Fexprs as the basis of Lisp function application