Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
notes
(consolidated) tensor
Antisymmetrization map
Can Naive substitution work if all variables has different name?
cetz example
De Bruijn indices
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
Representations of Syntax with Binding
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
Sketches of an Elephant
source code has no semantic
Subtype
tensor algebra
The problem of union type
使用 LLM 生成專案
有限群整理網站
繼承的問題
posts
[AArch64] armv8 store/load 尋址模式
錯誤處理的設計
Home
❯
notes
❯
Sketches of an Elephant
Sketches of an Elephant
Feb 14, 2025
1 min read
book
math
topos
https://ncatlab.org/nlab/show/Sketches+of+an+Elephant
Graph View