ADFP talks

Talks that were given at ADFP.

Speakers

Name		Name	Last commit message	Last commit date
af-afk		af-afk
jonocarroll/2023-02-09-pipes-and-composability		jonocarroll/2023-02-09-pipes-and-composability
jvlmdr/2023-02-09-lean		jvlmdr/2023-02-09-lean
.gitattributes		.gitattributes
README.md		README.md