[Agda] Agda packaged for Arch Linux
Don Stewart
dons at galois.com
Sat May 2 22:08:24 CEST 2009
Agda is now natively packaged for Arch:
http://aur.archlinux.org/packages.php?ID=26144
To install it:
$ yaourt agda-executable
Enjoy!
$ agda -I
_ ______
____ | | |_ __ _|
/ __ \ | | | || |
| |__| |___ __| | ___ | || |
| __ / _ \/ _ |/ __\ | || | Agda 2 Interactive
| | |/ /_\ \/_| / /_| \ | || |
|_| |\___ /____\_____/|______| Type :? for help.
__/ /
\__/
-- Don
More information about the Agda
mailing list