[Agda-dev] Primitive.agda and UHC back-end
Andrés Sicard-Ramírez
asr at eafit.edu.co
Mon Feb 15 13:35:27 CET 2016
Previous message:
Primitive.agda [was [Agda-dev] Agda and Packages/Libraries]
Next message:
[Agda-dev] Primitive.agda and UHC back-end
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Hi, Just out curiosity, why aren't UHC pragmas in Primitive.agda? Best, -- Andrés
Previous message:
Primitive.agda [was [Agda-dev] Agda and Packages/Libraries]
Next message:
[Agda-dev] Primitive.agda and UHC back-end
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda-dev mailing list