PESCA=序贯微积分校对编辑器(萨拉·内格里(Sara Negri)和简·冯·柏拉图(Jan von Plato)的《结构证明理论》(Structural Proof Theory)一书的附录,出现在剑桥大学出版社)(c) 阿内兰塔,2000年3月24日。要在Unix下运行,请键入./比斯卡在PESCA提示符下输入?查看可用的命令,或米查看手册(后者假设latex和xdvi在您的路径上)。pesca shell脚本假设Haskell解释器拥抱在您的路径上。您还可以通过hbc或ghc编译Haskell源代码;主模块是在文件Editor.hs中。网址:http://www.cs.chalmers.se/~aarne/pesca/