2 commits

Author	SHA1	Message	Date
Manuel Bärenz	4336f9f7bb	tests/agda: Fix comment	2020-09-18 12:42:23 +02:00
Manuel Bärenz	b78a5a0e79	agda: Added test	2020-05-14 20:54:12 +01:00