You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- CLSystem provides a basic abstraction over a system of basic
combinators. Implementations must provide a PF to contract
weak redexes of that system in to their associated contractum.
naderghanbari
changed the title
Abstract the CL Sytem so that we can support non-SKI systems as well
Abstract the CL System so that we can support non-SKI systems as well
Nov 17, 2018
This project started with
SKI
as the hardcoded CL system, now's the time to abstract that out and support other CL systems as well.The text was updated successfully, but these errors were encountered: