24 Jun
2014
24 Jun
'14
5:06 a.m.
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: darkarcanis@mail.ru ICQ: 407-398-235 Jabber: arcanis@jabber.ru