caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Andreas Abel	2f4f19bc49 Modified semantics of 'open import M args' such that M does not get added to the scope.	%!s(int64=12) %!d(string=hai) anos
Andreas Abel	240a09d524 Parse 'open import Module args using/hiding/renaming'.	%!s(int64=12) %!d(string=hai) anos