search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Lambda Reducer #156

Closed agureev closed 1 year ago

agureev commented 1 year ago

Introduces a reducer for the Lambda language, implementing usual expanded beta-elimination. Implements the reducer in the compiler.

agureev commented 1 year ago

Depreciated in favour of #162