Rachel Lambda Samuelsson 8d082302f9 change text to better reflect current state		2022-10-28 16:23:22 +02:00
..
Base.lagda.md	intensionality hell	2022-10-28 16:12:38 +02:00
Structures.lagda.md	change text to better reflect current state	2022-10-28 16:23:22 +02:00