Skip to content

Adds Xor but Haskell and Coq produce different results. - #64

Open
morganthomas wants to merge 1 commit into
mainfrom
xorBug
Open

Adds Xor but Haskell and Coq produce different results.#64
morganthomas wants to merge 1 commit into
mainfrom
xorBug

Adds Xor but Haskell and Coq produce different results.

b0b82b6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs