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.