Added some Agda file to experiment with stuff.