discocaml/eval.ml


1
2
3
4
5
6
7
8

open Ast

type path = int list
(** A path from the root of a term to a subterm. *)

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