Copyright | (c) Maciej Bendkowski 2017 |
---|---|
License | BSD3 |
Maintainer | maciej.bendkowski@tcs.uj.edu.pl |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Size notion framework of Gittenberger and Gołębiewski for lambda terms in the de Bruijn notation. A size definition constitutes the weights for lambda abstraction, term application, successor and zero.
Size notions
Lambda term size model.
Checks whether the given size model is valid in the framework of Gittenberger and Gołębiewski.