按日归档:13 8 月, 2019

用了一段时间Agda的感想

最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]

2019/08 13

KAAAsS

学生党一枚，业余程序员，爱逛B站喜欢二次元。

Comments

李丽发表在《Bilibili Accesskey 生成器 – BiliApi v1.0》
KAAAsS 发表在《复式记账指北（一）：What and Why？》
michael 发表在《复式记账指北（一）：What and Why？》
南梦宫发表在《留言板》
KAAAsS 发表在《留言板》

Recommended Posts

2016.01.16
[TI-Nspire程序]Interpolate Plotter v0 发布 – 更优雅的插值绘图
没有图片

2019.08.13
用了一段时间Agda的感想
2021.09.04
在日常里，我找到了真正的日常：《日常》完结鉴赏

Calendar

Category

二次元 (10)
- Bilibili (1)
- Game (1)
- 东方project (2)
- 漫评 (2)
  - 中期鉴赏 (1)
  - 完结鉴赏 (1)
坑 (2)
教程 (15)
- Linux (1)
- Minecraft forge (2)
- NAS (3)
- 建站 (2)
- 简明机器学习教程 (2)
数学 (2)
- 算法 (2)
机器学习 (3)
杂谈 (39)
- 信息论 (1)
- 文学 (2)
- 生活 (2)
科普 (6)
- 音韻略説 (1)
程序 (76)
- Android (2)
- C/C++ (4)
- CTF (9)
- Haskell (3)
- Java (19)
- PL (2)
- Python (7)
- Rust (1)
- Shell (1)
- TI-Nspire (1)
- Web技术 (21)
- 函数式编程 (3)
- 嵌入式开发 (1)
- 开发笔记 (10)
- 操作系统 (4)
- 类OI (3)
- 网络安全 (3)
- 计算机图形学 (4)
- 计算机网络 (2)
翻译 (1)
语言 (11)
- 汉字圈 (6)
连载 (29)
- OpenGL学习笔记 (3)
- 关于启动引导的那些事儿 (2)
- 复式记账指北 (2)
- 当我们谈论Monad的时候 (2)
- 漫谈NAT (1)
- 理想影音库构建之路 (2)
音乐 (89)
- 每周歌词 (88)