[Agda] [ANNOUNCE] Agda 2.5.1

Roman effectfully at gmail.com
Sun Apr 24 13:29:29 CEST 2016


You're not supposed to do this, but you can put the content of the
standard library into the ...\lib\prim folder (which contains
.\Agda\Primitive.agda).


More information about the Agda mailing list