Kata Training

Loading Fancy bool #2: Bool as a higher inductive type (corrected)

Beta

Loading Fancy bool #2: Bool as a higher inductive type (corrected)

Beta

Fancy bool #2: Bool as a higher inductive type (corrected)

Language

Agda (Beta)
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit