Patrick Stevens 84a146f72c Move Bool to live on its own (#118)

2020-04-18 17:14:39 +01:00

..

Lemmas.agda

Lots of without-K (#110)

2020-04-11 12:14:03 +01:00

Reduction.agda

Move Bool to live on its own (#118)

2020-04-18 17:14:39 +01:00

Relations.agda

Problem 1 of Project Euler (#85)

2019-12-04 19:53:34 +00:00

Sets.agda

Lots of without-K (#110)

2020-04-11 12:14:03 +01:00