The Nest
Explore
Sign in
tzemanovic
plfa
standard-library
src
System
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
2 days ago
Clock
add standard-library
on February 13, 2026
Console
add standard-library
on February 13, 2026
Directory
add standard-library
on February 13, 2026
Environment
add standard-library
on February 13, 2026
Exit
add standard-library
on February 13, 2026
FilePath
add standard-library
on February 13, 2026
Process
add standard-library
on February 13, 2026
Random
add standard-library
on February 13, 2026
Clock.agda
add standard-library
on February 13, 2026
Directory.agda
add standard-library
on February 13, 2026
Environment.agda
add standard-library
on February 13, 2026
Exit.agda
add standard-library
on February 13, 2026
Process.agda
add standard-library
on February 13, 2026
Random.agda
add standard-library
on February 13, 2026