port to agda/2.5.4.1 and agda-stdlib/0.17
[~helmut/bidiragda.git] / LICENSE
2015-08-11 Helmut Grohnedeclare copyright and license