Copyright © 2015-2018 Jörgen Brandt
Version: 0.1.4
Authors: Jörgen Brandt (joergen.brandt@onlinehome.de).
find_context/1 | |
gensym/1 | |
in_hole/2 | |
is_value/1 | |
reduce/1 | |
rename/3 | Consistently renames in E every occurrence of the name X1 to X2. |
set_info/2 | |
subst/3 | Substitutes in E1 every occurrence of the variable X with E2. |
subst_fut/3 |
gensym(X::atom()) -> atom()
is_value(E::e()) -> boolean()
Consistently renames in E every occurrence of the name X1 to X2.
Substitutes in E1 every occurrence of the variable X with E2.
Generated by EDoc