N. *_*ett 5 haskell functional-programming xmonad zipper agda
我目前正在寻找Huet 拉链“在野外”的实现。
到目前为止，我发现：
该AGDA编译器（纠正我，如果我错了）用来的消除拉链的call-by-需要评估，填写信息，因为它去。
XMonad 中使用了另一个实例来跟踪每个工作空间上的聚焦工作区和聚焦窗口
是否有其他方法来实现拉链的//其他实现？
归档时间：
8 年 前
查看次数：
190 次
最近记录：