Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd
Гране Ознаке
agda
/
examples
/
tactics
/
ac
/
Logic.agda

Logic.agda 80 B
Пермалинк Историја Датотека

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.