tzemanovic/plfa: src/plfa/part2

PLFA agda exercises

tzemanovic

10. Lists

2 days ago

BigStep.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Bisimulation.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Confluence.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
DeBruijn.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Inference.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Lambda.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
More.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Properties.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Substitution.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025
Untyped.lagda.md

Bump sass from 1.89.2 to 1.90.0 (#1124)

on August 13, 2025