• • notes
    • (consolidated) tensor
    • Antisymmetrization map
    • Can Naive substitution work if all variables has different name?
    • cetz example
    • De Bruijn indices
    • Dependent Pattern matching
    • effect handler 應該如何反應？
    • fletcher for string diagram
    • How to create a commonlisp project
    • Install wolfram-js-frontend on Mac
    • Intrinsically typed term
    • ocaml inline test 使用方式
    • ocaml sedlex
    • ocamlformat preserve begin end block
    • Partial Equivalence Relations
    • Representations of Syntax with Binding
    • Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
    • Sketches of an Elephant
    • source code has no semantic
    • strong monad
    • Subtype
    • tensor algebra
    • The problem of union type
    • 使用 LLM 生成專案
    • 有限群整理網站
    • 繼承的問題
  • posts
    • [AArch64] armv8 store/load 尋址模式
    • 錯誤處理的設計

index

Mar 09, 20251 min read