Mateusz Kowalczyk 0732523c7d agda: add fuuzetsu to maintainers		2014-10-15 01:02:03 +01:00
..
default.nix	agda: add fuuzetsu to maintainers	2014-10-15 01:02:03 +01:00
stdlib.nix	agda: add fuuzetsu to maintainers	2014-10-15 01:02:03 +01:00