Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Simple NBE (normalization by evaluation) for a variant of pure untyped lambda calculus.