Popular repositories Loading

1. plfa.github.io plfa.github.io Public

   An introduction to programming language theory in Agda

   Agda 1.5k 336

2. plfl plfl Public

   Programming Language Foundations in Lean

   C 42 5

3. lagda.md2tex lagda.md2tex Public

   Tool for converting literate Agda in markdown to literate Agda in tex

   TeX 1