ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ブランチ: js_amd
ブランチ タグ
agda
/
examples
/
tactics
/
ac
/
Logic.agda

Logic.agda 80 B
パーマリンク 履歴 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.