”haskell“ 的搜索结果

     Haskell的标准库 rio库的目标是使采用Haskell编写生产软件变得更加容易。 它旨在作为以下两者之间的交叉: 精心设计,值得信赖的库的集合 有用的Prelude替换 一套用于编写生产质量的Haskell代码的最佳实践 该存储...

     haskell 跟踪向模块添加跟踪。设置如果你有一个沙箱,你必须在你的沙箱中cabal install haskell-trace ,或者安装它以便模块Language.Haskell.Trace可以被导入。 在 Emacs 中加载haskell-trace.el 。用在模块中运行...

     HTF-Haskell测试框架 文档: : 来源存储库: : 问题追踪器: : state 作者:Stefan Wehr( ) 执照:LGPL 概括 Haskell测试框架(简称HTF)可让您定义单元测试( 属性( )和黑色轻松便捷地进行盒子测试。 HTF...

     启用LSP编辑器将启用LSP的编辑器与Nix集成已知问题的解决方法依赖项更改时重新生成Nix Shell环境明确的hie.yaml文件用Nix建立现有技术早于HLS的项目HLS的非Nix...,可使用Haskell.nix构建Haskell语言服务器(HLS)...

     树莓派的Haskell容器 Raspberry Pi 4在aarch64 (ARMv8)CPU架构中工作。 运行此版本的Haskell编译器和工具的最新版本的发行版并不多。 使用apt-get install cabal-install haskell-stack或类似的软件尝试了以下...

     scher(发音为“ escher”)是一个实验库,用于利用Klee执行引擎对Haskell程序进行基于属性的符号测试。 这项工作是根据伦敦皇家霍洛威大学Matthew Hague的硕士论文进行开发的。 它正在大量开发中,并且出于所有目的...

     Doctest:测试交互式Haskell示例doctest是一个小程序,用于检查。 它与相似,。安装可以从获得doctest 。 通过键入以下内容进行安装: cabal install doctest确保Cabal的bindir在您的PATH 。 在Linux上: export ...

     HAskelL 文件系统 旨在与 HaLVM 一起使用。 描述 实现适用于 HaLVM 的文件系统的库。 在底层块层上提供有用的抽象。 开始 主要的cabal包是与 HaLVM 兼容的库,称为halfs 。 你可能想要halvm-cabal build和halvm-...

     请注意,该软件包已被弃用,Haskell LLVM社区已转换为llvm-hs,可在以下位置找到和 。 如果您有任何疑问,可以在#haskell-llvm freenode irc频道上找到Haskell LLVM社区的许多成员。 Haskell LLVM绑定 该软件包为...

     vim-haskell 用于以下插件之一的 vim 配置。 ... 作者身份 脚本中列出的原作者是 Claus Reinke , motemen , John Williams 另外,语法文件有如下注释: Thanks to Ryan Crumley for suggestions and John ...

     需求-哈斯克尔 require-haskell让你require你的哈斯克尔模块,异步JavaScript功能。例子var requireH = require('require-haskell'); // You can now require haskell files with requireH just like you require ...

     这是用Haskell编写一个版本。 使用OpenGL渲染。 我写这篇文章的目的是使自己熟悉并专心于游戏编程。 我以前从未写过游戏,所以代码可能很糟糕。 我事先表示歉意。 该软件包可能永远不会放在Hackage上,因此您将...

      Alex是用于生成Haskell扫描仪的类似Lex的工具。 有关完整的文档,请参阅doc目录。 Alex拥有BSD风格的许可证; 有关详细信息,请参见doc目录中的许可证文件。 源位于src目录中,文档位于doc目录中; 各个示例位于...

     Matrix-Haskell说明这个项目是我为了使用中山大学Matrix Oj系统而写的Haskell测评程序例。这个例子需要使用QuickTest,Main.hs是程序的入口点,Prop.hs定义程序的性质,CheckProp.hs用Template Haskell实现了自动...

10  
9  
8  
7  
6  
5  
4  
3  
2  
1