The Nest
Explore
Sign in
tzemanovic
plfa
extra
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
yesterday at 04:34
EvalContexts
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Frames
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
denotational
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
extra
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
fixpoint
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
fixpoint-old
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
fresh
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
qtt
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
stlc
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
variants
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
842Inference.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeMorgan.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Inherent.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Issue488.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
KovacsSTLCnorm.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
LambdaReduction.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Modules.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Pure.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PureConor.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Raw.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Reflection.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Subtyping-comments.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Subtyping-phil.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Subtyping.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
bin-suggestion.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
broken.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
iso-exercise.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
plfa-extra.agda-lib
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025