molikto’s weblog

Notes

Note on 2021-02-08
Notes on dependent type theory
Notes on various topic on dependent type theory
Type class elaboration
Recursive definition and mutable records in dependent types
Middle Grounds between Structural Editing and Text Editing
Growing a Structural Editor: Handling Mouse Clicking
Growing a Structural Editor: Layout Combinators
Growing a Structural Editor: A Bootstrapped Tree Editor
A short movie
游记
Comparison & Observation of Rich Text Editors
Algorithm Cheatsheet
Compiled Normalization by Evaluation for Untyped Lambda Calculus (in Scala)
Hello, World!

About

Friends