kframework - Haskell 后端是否实现了替换？

Question

我一直在使用 Java 后端进行符号执行，因为它具有替换功能（例如E[V/X]）。Haskell 后端是否实现了替换？

Answer 1

截至 2020 年 7 月，答案是否定的。