zk⁷ 0d85fceb1f push		2024-03-11 20:20:28 +02:00
..
Free.agda	push	2024-03-11 20:20:28 +02:00
SList.agda	push	2024-03-11 20:20:28 +02:00