-
Richard Eisenberg authored
This adapts the work of Christiaan Baaij to present a sensible operational semantics for FC with mutual recursion.
414e20bc
This adapts the work of Christiaan Baaij to present a sensible operational semantics for FC with mutual recursion.