[Bug 839260] Review Request: Agda-stdlib - Agda standard library

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=839260

--- Comment #2 from Jens Petersen <petersen at redhat.com> ---
A simple usage example:

$ ls -l stdlib
lrwxrwxrwx. 1 petersen petersen 23 Jul 11 15:46 stdlib ->
/usr/lib64/Agda-stdlib/
$ cat test.agda
module test where

open import IO

main = run (putStrLn "Hello world!")
$ agda -c -i. -istdlib test.agda
:
:
[91 of 91] Compiling MAlonzo.Code.Qtest (
/home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.hs,
/home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.o )
$ ./test
Hello world!
$

-- 
You are receiving this mail because:
You are on the CC list for the bug.