Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: ce9b406819
Branch-ok Tag-ek
agda
/
test
/
LaTeXAndHTML
/
succeed
/
Issue3989.agda

Issue3989.agda 84 B
Előzmények Nyers

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

  2. 

  3. postulate
    4. 

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

  5.