Tags · Programing Language

2025

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

2024

09-03 Lean 初见笔记

06-13 静态版Ruby？Crystal语言试用