Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
examples
/
tactics
/
ac
/
Logic.agda

Logic.agda 80 B
Permalink History Raw

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.