Rachel Lambda Samuelsson 8d082302f9 change text to better reflect current state		2022-10-28 16:23:22 +02:00
..
CwF	change text to better reflect current state	2022-10-28 16:23:22 +02:00
CwF.lagda.md	fix CwF to be lagda	2022-10-09 01:11:34 +02:00
Fams.lagda.md	Fams: less clutter in description of morphisms	2022-10-08 13:12:39 +02:00
ieee.csl	add csl file	2022-10-08 02:34:27 +02:00