On Monday 23 June 2014 21:32:00 Leif Warner wrote: > https://aur.archlinux.org/packages/idris-neweffects-git/ > > It was a separate library for the Idris language, but has since been merged > into the language distribution proper: > https://github.com/idris-lang/Idris-dev/tree/master/libs/effects > This version is obsolete.
Done, thank you. -- С уважением, Е.Алексеев. Sincerely yours, E.Alekseev. e-mail: [email protected] ICQ: 407-398-235 Jabber: [email protected]
signature.asc
Description: This is a digitally signed message part.
