The Nest
Explore
Sign in
tzemanovic
plfa
papers
sbmf
figures
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
2 days ago
InherentEval.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InherentIndices.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InherentProgress.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InherentReductions.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InherentSubst.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InherentTerms.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
inherent.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-eval.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-progress-1.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-progress-2.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-progress-3.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-progress-3a.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-progress-3b.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
raw.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
sf-progress-1.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
sf-progress-2.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
sf-progress-3.png
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025