The Nest
Explore
Sign in
tzemanovic
plfa
papers
scp
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
yesterday at 04:34
figures
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
submission
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Makefile
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PLFA.bib
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PLFA.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PLFA.tex
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
README.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
agda.sty
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
conflicts.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
copyright.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
credit-author-statement.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
declaration-of-competing-interests.docx
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
declaration-of-competing-interests.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
determinism.coq
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
determinism.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
elsarticle-harv.bst
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
highlights.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
llncs.cls
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
response-to-reviewers.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
reviewers.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
scico102440.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
scp-citation.txt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
scp-final.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
scp-publishing-agreement.pdf
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
splncsnat.bst
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025