Tags · Functional

2025

05-05 试试 idris2

04-13 学习在 Lean4 中使用 Parser Combinator

04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器

03-27 所以这个 Monads 到底是什么啊之让我学学

01-06 仿生电子锈会梦到自己变成纯函数式吗：gleam 语言初见

2024

09-03 Lean 初见笔记