Tag: idea

Sep 09, 2025

• type/literature-note
• context/inria
• status/fleeting
• topic/modules
• idea

Sep 07, 2025

• idea

Sep 07, 2025

• context/epit
• type/lecture-note
• topic/automata
• topic/category-theory
• topic/coinduction
• topic/subtyping
• idea
• todo
• think

Sep 07, 2025

• context/epit
• type/lecture-note
• topic/automata
• topic/proof-theory
• idea
• important
• question