Primitive.agda [was [Agda-dev] Agda and Packages/Libraries]

[Andrés Sicard-Ramírez]

On 15 February 2016 at 08:37, Ulf Norell <ulf.norell at gmail.com> wrote:
> Clearly Agda.Primitive ought to be considered safe. Or is universe
> polymorphism not in the safe fragment?

Strictly speaking, Primitve.Agda isn't using universe polymorphism.


-- 
Andrés