GitHub repository: Blaisorblade/hoas-with-names
Primary language: Scala
Description: Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*