caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Andrés Sicard-Ramírez	cc0e38df20 [ #1918 ] Removed unnecessary occurrences of `no-coverage-check`.	%!s(int64=8) %!d(string=hai) anos
Andreas Abel	68b4f6e0b2 Activated functions with varying arity (see issue 727).	%!s(int64=12) %!d(string=hai) anos
Andreas Abel	9a38ce9442 Towards flexible arity in defined functions. Refactoring step: ProblemRest.	%!s(int64=13) %!d(string=hai) anos