The Nest
Explore
Sign in
tzemanovic
plfa
web
posts
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
yesterday at 04:34
2019-07-12-migration-to-agda-2-6-0-1.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2019-08-31-release-notes-v19-08.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-01-10-plfa-as-a-notebook.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-04-30-praise-for-plfa.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-06-02-plfa-as-epub.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-06-23-talking-about-plfa.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-07-13-denotational-semantics.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-07-13-release-notes-v20-07.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-07-14-versions-and-releases.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2020-07-20-migration-to-agda-2-6-1.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2021-08-24-plfa-as-pdf-and-epub.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2022-08-24-release-notes-v22-08.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2023-02-26-migration-to-agda-2-6-3.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
2024-09-05-migration-to-agda-2-7-0.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025