rhiannon morris 32edbb1816 a bunch of stuff sorry		2023-12-28 01:00:37 +01:00
..
ats.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00
beluga.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00
chrismas.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00
digitle-in-maude.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00
fib.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00
idris2-features.md	a bunch of stuff sorry	2023-12-28 01:00:37 +01:00