Dan's 數位🪴園

❯

Folder: notes

28 items under this folder.

Mar 30, 2025
The 3D Shape with 1 Side - Klein Bottles
- math
- video
Mar 30, 2025
Different Homologies
- math
- homology
Mar 09, 2025
Partial Equivalence Relations
- agda
Mar 08, 2025
Dependent Pattern matching
Feb 25, 2025
strong monad
- cs
- plt
Feb 25, 2025
Intrinsically typed term
- agda
- plt
Feb 25, 2025
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
- agda
- plt
Feb 22, 2025
使用 LLM 生成專案
- software
Feb 22, 2025
effect handler 應該如何反應？
Feb 21, 2025
The problem of union type
- cs
- plt
Feb 19, 2025
How to create a commonlisp project
- software
- commonlisp
Feb 19, 2025
De Bruijn indices
Feb 19, 2025
Subtype
- agda
Feb 19, 2025
Antisymmetrization map
- math
Feb 19, 2025
cetz example
- math
- tool
Feb 19, 2025
Can Naive substitution work if all variables has different name?
- cs
Feb 19, 2025
Sketches of an Elephant
Feb 19, 2025
fletcher for string diagram
- math
- tool
Feb 19, 2025
有限群整理網站
- math
- group
Feb 19, 2025
繼承的問題
- cs
- oop
Feb 19, 2025
ocaml inline test 使用方式
Feb 19, 2025
ocamlformat preserve begin end block
Feb 19, 2025
Representations of Syntax with Binding
- plt
- agda
Feb 19, 2025
ocaml sedlex
Feb 19, 2025
source code has no semantic
- cs
- homoiconicity
Feb 19, 2025
tensor algebra
- math
Feb 19, 2025
(consolidated) tensor
- math
Feb 19, 2025
Install wolfram-js-frontend on Mac
- math
- tool