1. 给博客添加了部分文章可评论的功能

    之前不是RXZ 开 issue 说想要评论功能吗。

    2017/11/13 Misc

  2. 正确地使用 Kotlin 的 internal

    Kotlin 的 internal 被定义为 “只有这个模块可以调用” 却在被打包为 jar 后可以被 Java 代码视为 public 调用, which 被广为诟病。 那么就让我们来看看怎么解决这个问题吧。

    2017/11/12 Kotlin

  3. 将 Flutter 项目部署到 Travis CI

    Travis CI 是一个难用又好用的 CI ,由于本身支持的东西就少,今天我们来尝试将 Flutter 部署到它上面。

    2017/11/10 CI

  4. Agda 中的证明,从三到四

    这篇文章我们来说说模式匹配的另一种特殊情况。 到目前为止,很可能部分字符无法在一些字体下正常显示。

    2017/11/09 Agda

  5. Agda 中的证明,从二到三

    这篇文章我们来说说模式匹配的一种特殊情况。 到目前为止,很可能部分字符无法在一些字体下正常显示,这时候使用 LaTeX 的优越性就体现出来了。

    2017/11/08 Agda

  6. Agda 中的证明,从一点五到二

    上一篇说了很多只有一种情况的证明,这一篇说个有两种情况的。 到目前为止,按理说所有的字符都还能正常显示。

    2017/11/06 Agda

  7. Agda 中的证明,从一到一点五

    上一篇我们说到了一个只有一步的证明,这一篇我们来看一个稍微复杂点的,组合命题的例子。 到目前为止,按理说所有的字符都还能正常显示。

    2017/11/02 Agda

  8. Agda 中的证明,从零到一

    类型则命题,程序则证明。这句话表达了定理证明的一个很重要的思想。

    2017/11/01 Agda

  9. Kotlin 1.2 跨平台模块初体验

    之前说不会再写 Kotlin 的东西了,现在为什么我又开始写了呢?并不是因为我傲娇或者口嫌体正直,是因为 Kotlin 有了重大更新了,那我对写 Kotlin 文章这一事的态度也应该重大更新一下啊是不是。

    2017/10/12 Kotlin

  10. Gradle 常见的几个自定义 Task

    其实这只是对我来说常见的几个。 Gradle 是个很常用的工具其实,但是它默认的功能还是太贫瘠了,因为它提供了很方便的定制方法。

    2017/10/08 Gradle

  11. 搭建 Emacs 的 Haskell/Idris 环境教程

    最近看见 Haskell 群的萌新费尽心思也没成功搭建环境,而且很多都是用浏览器编程,很不清真。为了拯救苍生,顺便为考 SAT 攒人品,我决定写一篇搭建环境教程,来扩大 Emacs 势力。

    2017/10/03 Emacs

  12. 给博客加上了访问量统计

    昨晚上,我给博客加上了我曾经说的不想加的访问统计(以前是不希望自己本来就是余兴的写作被一些外力干扰)。主要原因是好奇,有多少人在看我的博客,看哪些内容。

    2017/09/20 Water

Search