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
Branch: js_amd
Branch-ok Tag-ek
agda
/
examples
/
tactics
/
ac
/
Logic.agda

Logic.agda 80 B
Állandó hivatkozás Előzmények Nyers

123456789 
  1. 

  2. module Logic where
    3. 

  3. 

  4. data True : Set where
    5. 

  5.   tt : True
    6. 

  6. 

  7. data False : Set where
    8. 

  8. 

  9.