An open API service indexing awesome lists of open source software.

https://github.com/raphexion/kmachine

Small implementation of a Krivine's K-Machine
https://github.com/raphexion/kmachine

Last synced: 2 months ago
JSON representation

Small implementation of a Krivine's K-Machine

Awesome Lists containing this project

README

        

K-machine
=========

Krivine's machine (K-machine)
as described in the book
Abstract Computing Machines
by Kluge
page 105-106