src/lem_interp/interp_lib.lem


1
2
3
4
5
6
7
8
9
10
11
12

open import Interp ;;
import Maybe_extra

let add v = v ;;


let function_map = [
  ("add", add);
  ("add_infix", add);
] ;;

let eval_external name v = (Maybe_extra.fromJust (List.lookup name function_map)) v ;;