ZettelkastenThis is my zettelkasten. It is built using neuron.No particular tagO-NotationProof by InductionSequent CalculusRefinement TypesRow PolymorphismShallow vs Deep EmbeddingContinuationsSemanticsSyntaxInheritance vs SubtypingReductionsStatic vs Dynamic ScopeSymbol TablesDangling ElseCompilersType SystemsAbstract Syntax TreeElmGitGradleIsabelle/HOLJFlexPratt ParsingPrologSubtyping and VarianceTail RecursionZettelkastenProgramming Language Principles
