Introducing the Haskell equational reasoning assistant

ACM SIGPLAN Symposium/Workshop on Haskell Pub Date : 2006-09-17 DOI:10.1145/1159842.1159856

Andy Gill

引用次数: 17

Abstract

We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial rewrites.

查看原文本刊更多论文

介绍Haskell方程推理助手

我们介绍Haskell等式推理助手的新改进版本，它包括一个Ajax应用程序，用于在上下文中重写Haskell片段，以及一个用于编写重要重写的API。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM SIGPLAN Symposium/Workshop on Haskell

自引率

0.00%

发文量