The Nest
Explore
Sign in
tzemanovic
plfa
extra
extra
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
yesterday at 04:34
Addition.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Basics-old.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Basics.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
CPP.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Chain.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Collections-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Collections-setoid.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Darais.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DaraisPhoas.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeBruijn-agda-list-2.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeBruijn-agda-list-3.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeBruijn-agda-list-4.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeBruijn-agda-list.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DeBruijn2.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DecidableBroken.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DecidableExtra.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
DecidableFixed.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Denotational.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Dummy.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Equivalence-old.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Eta.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Even.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
EvenOdd.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
EvenOdd2.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
EvenOdd3.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Everything.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Exercises.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Extra.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
FreshId-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
FreshIdConor.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
FreshUnstuck-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Gentzen.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Head.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
IdMap.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
InferenceOld.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Isomorphisms.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Lambda-new.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
LambdaSyntax.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Lexical.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Liftable.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Lists-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Lists.lagda.md
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Logic.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Membership.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mendler.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Module.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
ModuleInfix.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Monus.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mutual.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Mutual2.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Nat.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Negation-notes.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
OldSubstitution.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PHOAStoEXP.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Preorder.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Preorder.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
PropertiesDec.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Raw-deadend.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Raw-deadend2.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Reasoning.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Reasoning2.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Rec1.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Rec2.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Reduction.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Rev.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
RewriteWTF.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
SmallInherent.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Stable.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
StreamLambdaProp.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Streams.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Subset.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
SystemF.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TakeDropBool.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TakeDropDec.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TakeDropDecTest.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Typed-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Typed-string.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Typed-wf-deadend.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Typed.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Typed.lagda.broken
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedDB-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedFresh-away.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
TypedFresh-backup.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Ulf.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Untyped-CBV.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
UntypedDB.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
Value.agda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025
outline.lagda
Bump sass from 1.89.2 to 1.90.0 (#1124)
on August 13, 2025