Index of ~rmk35

Table of Contents

1 Cookies

This personal page uses the following cookies:

  • Session authentication cookies used by the Cambridge RAVEN system;
  • User-interface customization cookies
    • MathJax uses these
  • Load-balancing cookies

More detail can be found at

2 Lambda calculus

A documented lambda-calculus evaluator.

Author: Robert Kovacsics (rmk35)

Created: 2018-05-27 Sun 17:12