Leon Vatthauer 344477f21d removed agdai, add nix, add exercises		2024-04-11 12:21:15 +01:00
..
systemF.lagda.md	removed agdai, add nix, add exercises	2024-04-11 12:21:15 +01:00