caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Jesper Cockx	2007630d78 Fix mistake in date of paper on Prop	%!s(int64=5) %!d(string=hai) anos
Jesper Cockx	65bda2ad4b [ prop ] Don't go in irrelevant context when target type is Prop	%!s(int64=5) %!d(string=hai) anos
Jesper Cockx	275efccf44 [ prop ] Add user manual + changelog	%!s(int64=6) %!d(string=hai) anos