discocaml/eval.ml


1
2
3
4
5

open Ast

let find_redex_cbv : expr ast -> expr index option = function _ -> None
let find_redex_cbn : expr ast -> expr index option = function _ -> None
let reduce : expr ast -> expr index -> expr ast = fun e _ -> e