The Nest
Explore
Sign in
tzemanovic
plfa
courses
TSPL
2019
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
2 days ago
Assignment1.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Assignment2.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Assignment3.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Assignment4.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Exam.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Instructions.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Instructions.tex
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mock1.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mock1.tex
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mock2.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mock2.tex
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
tspl2019.agda-lib
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
tspl2019.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025