8 releases

0.0.34 Nov 25, 2024
0.0.33 Nov 25, 2024

#185 in #proc


Used in slotted-egraphs

Apache-2.0 OR MIT

12KB
237 lines


proc macros to implement slotted Languages

Dependencies

~205–640KB
~15K SLoC