KonjacSource Blog https://konjacsource.github.io/ Recent posts from KonjacSource zh-cn Mon, 06 Apr 2026 00:00:00 +0800 A Way to Implement Dependent Pattern Matching with Normalization by Evaluation https://konjacsource.github.io/blog/dpm-nbe.html https://konjacsource.github.io/blog/dpm-nbe.html Mon, 06 Apr 2026 00:00:00 +0800 Dependent Pattern Matching in NbE settings. 一种在 NbE 中实现依赖模式匹配的方法 https://konjacsource.github.io/blog/zh/dpm-nbe.html https://konjacsource.github.io/blog/zh/dpm-nbe.html Mon, 06 Apr 2026 00:00:00 +0800 中文翻译版：Dependent Pattern Matching in NbE settings.