The Nest
Explore
Sign in
tzemanovic
plfa
src
plfa
part3
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
2 days ago
Adequacy.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Compositional.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
ContextualEquivalence.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Denotational.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Soundness.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025