Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): ce9b406819
Rami (Branch) Tag
agda
/
test
/
LaTeXAndHTML
/
succeed
/
Issue3989.agda

Issue3989.agda 84 B
Cronologia Originale

12345 
  1. {-# OPTIONS --warning ShadowingInTelescope #-}
    2. 

  2. 

  3. postulate
    4. 

  4.   _ : (A A : Set) → Set
    5. 

  5.