08-18 题解 | #Agnej# 08-18 题解 | #Grayscale Confusion# 08-11 题解 | J. Permutation and Primes 07-17 立方类型论在软件工程中的用例设想 07-15 DTmpl: 基于依值类型和模板的高级语言代码生成思路 07-13 对上一篇提出的类型论的探讨 07-11 一个抽象的类型论想法 07-09 HITsz 第一周题单浅评 模拟枚举暴力 01-25 Educational Codeforces Round 142 思路 + 代码 A, B, C, D 01-23 FStar 官方习题 A First Model of Computational Effects 01-23 CF242E XOR on Segment 01-22 Limit の线段树题单 口胡题解 + 跳坑实录 Pt. 3 01-22 FStar 官方习题 Constructive & Classical Connectives 01-22 FStar 官方习题 Equality Types 01-22 Codeforces Round #845 现场题解 A, B, D 01-21 Limit の线段树题单 口胡题解 + 跳坑实录 Pt. 2 01-21 FStar 官方习题 Length-indexed Lists 01-20 FStar 官方习题 Case Study: Quicksort 01-20 Limit の线段树题单 口胡题解 + 跳坑实录 Pt. 1 01-19 FStar 官方习题 Lemmas and proofs by induction 01-18 Codeforces Round #835 蒟蒻题解 01-16 初探算法题目形式化 01-16 Codeforces Round #844 口胡题解 A, B, C, D