Home

Welcome to the CEKF(s) wiki!

CEKF(s) is actually the name of the implementation, in this case a bytecode interpreter written in C using an algorithm derived from the well known CEK machine.

This wiki will concentrate on the surface language, which I'm calling F-natural (F♮).

F♮ is a small lambda language with some unusual features. Wherever possible an attempt has been made to mimic the standard C family syntax, with blocks of code delimited by curly braces. This familiar syntax should make the language immediately accessible to many readers.

Next: Comments