Patrick Stevens e660eceb43 Hide more stuff (#124)

2020-04-19 07:54:37 +01:00

..

Addition.agda

Move Bool to live on its own (#118)

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

Archimedean.agda

Move Bool to live on its own (#118)

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

Field.agda

Irrelevant field of fractions (#115)

2020-04-13 14:09:23 +01:00

Group.agda

Lots of speedups (#116)

2020-04-16 13:41:51 +01:00

Lemmas.agda

Irrelevant field of fractions (#115)

2020-04-13 14:09:23 +01:00

Multiplication.agda

Irrelevant field of fractions (#115)

2020-04-13 14:09:23 +01:00

Order.agda

Maybe FieldOfFractions.Order slightly faster (#121)

2020-04-18 20:08:24 +01:00

Ring.agda

Hide more stuff (#124)

2020-04-19 07:54:37 +01:00

Setoid.agda

Irrelevant field of fractions (#115)

2020-04-13 14:09:23 +01:00