Home

Welcome to the CEKF 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've called F-natural for various mostly humorous reasons. I've also basically scraped most of this wiki from one I wrote for an earlier prototype of this language. CEKF(s) as presented here is much faster, but not quite feature complete. I'll document the entire planned language with caveats where there is no implementation yet. So to start....

F♮ is a prototype interpreter for 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.