blanks-0.4.1: Fill-in-the-blanks - A library factoring out substitution from ASTs

Safe HaskellNone
LanguageHaskell2010

Blanks

Description

You'll get most of what you want by just importing this module unqualified. See the Blanks class definition and related methods to manipulate variables and abstractions. See Scope for the basic wrapper and LocScope for a wrapper with annotations you can use for source locations and the like. See the test suite for examples.

Documentation

module Blanks.Sub