5eqn

PLT

题解(12)

/ 注册

全部文章 / PLT （共11篇）

初探算法题目形式化

声明本人不会 Lisp，以下内容纯属娱乐。目标使用包含依值类型的 Lisp 方言将 Codeforces 上的算法题形式化。力求保留题意，不在形式化时进行算法优化。这样可以解耦形式化和计算。语言特性 nat 表示自然数，lambda，vec，eq 都是类型构造函数。 nth 是由 vec ...

Lisp

2023-01-16

2 403