~wldhx/plfa

additional explainers
Submodules: git=>https link
Add ALS
Add Nix installation instructions
f7bc29d6 — Jeremy Siek 2 years ago
added accent
67cbc3c8 — Jeremy Siek 2 years ago
added course in Torino
10a32036 — Wen Kokke 2 years ago
Fixed paths to fonts.
9691c059 — Wen Kokke 2 years ago
Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.
edfb6c16 — Wen Kokke 2 years ago
Fixed bug in agda.css; compile with SCSS compiler.
5a5706ed — Philip Wadler 2 years ago
Merge pull request #569 from Altariarite/Fonts.lagda.md

changed codeblocks to displays in Fonts.lagda.md
65536c85 — Altaria 2 years ago
changed codeblocks comments to displays
00a04e43 — wadler 2 years ago
small fix to Connectives
e54f752b — Philip Wadler 2 years ago
Merge pull request #568 from Altariarite/substitution

fixed indentation for proper code displays in Substitution.lagda.md
dd370cd2 — Altaria 2 years ago
fix indentation on 736 to fix partial codeblocks
0f8be198 — Altaria 2 years ago
fixed indentation for proper code display
6b414063 — Philip Wadler 2 years ago
Merge pull request #567 from Altariarite/Fonts.lagda.md

Add missing symbols in Fonts.lagda.md
724d8eb4 — Altaria 2 years ago
added new symbols in part2 and 3
f9cafebe — Wen Kokke 2 years ago
Updated README.
67b94951 — Wen Kokke 2 years ago
Bumped Agda version to 2.6.1.3.
3291c183 — Wen Kokke 2 years ago
Bumped resolver and GHC version, added Hakyll, removed text-icu.
Next