Fill-in-the-blanks - A library factoring out substitution from ASTs
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause