The Nest
Explore
Sign in
tzemanovic
plfa
extra
fresh
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
yesterday at 04:34
Collections.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Fresh.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
FreshId.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
FreshUnstuck.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
RawScopedTyped.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Scoped.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedBadfix.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedBarendregt.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedFresh.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025