Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd
Ranting Tag
agda
/
examples
/
tactics
/
ac
/
Logic.agda

Logic.agda 80 B
Permalink Riwayat Mentahan

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.