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 http://ec.europa.eu/ipg/basics/legal/cookies/index_en.htm

2 Lambda calculus

A documented lambda-calculus evaluator.

Author: Robert Kovacsics (rmk35)

Created: 2018-05-27 Sun 17:12

Validate