ZettelkastenThis is my zettelkasten. It is built using neuron.No particular tagStatic vs Dynamic ScopeSymbol TablesDangling ElseCompilersType SystemsAbstract Syntax TreeElmGitGradleIsabelle/HOLJFlexPratt ParsingProgramming Language SemanticsPrologSubtyping and VarianceTail RecursionZettelkasten