- 授权协议: MIT
- 开发语言: Python
- 操作系统: Linux
- 软件首页: http://gummi.midnightcoding.org/
软件介绍
Gummi 是一个利用 Python 和 GTK 技术开发的简易 LaTeX 编辑工具，具备实时预览、语法高亮、BibTex 支持、导出到 PDF 、纠错/拼写检查、预设模版等功能。
Ubuntu 用户可以通过这个 PPA 来安装：
sudo apt-add-repository ppa:gummi/gummi
sudo apt-get update
sudo apt-get install gummi
Haskell趣学指南
[斯洛文尼亚] Miran Lipovaca / 李亚舟、宋方睿 / 人民邮电出版社 / 2014-1
《haskell趣学指南》是一本讲解haskell这门函数式编程语言的入门指南，语言通俗易懂，插图生动幽默，示例短小清晰，结构安排合理。书中从haskell的基础知识讲起，涵盖了所有的基本概念和语法，内容涉及基本语法、递归、类型和类型类、函子、applicative 函子、monad、zipper及所有haskell重要特性和强大功能。 《haskell趣学指南》适合对函数式编程及haske......一起来看看 《Haskell趣学指南》 这本书的介绍吧!
