1 file changed
+1
-1
lines changed- CODE_OF_CONDUCT.md+19
- README.md+10-5
- build.sbt+29-36
- core/src/main/scala/algebra/instances/array.scala+1-1
- core/src/main/scala/algebra/lattice/Bool.scala+3
- core/src/main/scala/algebra/lattice/DeMorgan.scala+63
- core/src/main/scala/algebra/lattice/Heyting.scala+1-1
- core/src/main/scala/algebra/lattice/Logic.scala+70
- core/src/main/scala/algebra/ring/Additive.scala+1-1
- core/src/main/scala/algebra/ring/Multiplicative.scala+1-1
- core/src/test/scala/algebra/ring/RingTest.scala+4-3
- docs/src/main/tut/index.md+4-4
- laws/js/src/main/scala/algebra/laws/platform/Platform.scala+9
- laws/jvm/src/main/scala/algebra/laws/platform/Platform.scala+9
- laws/shared/src/main/scala/algebra/laws/BaseLaws.scala
- laws/shared/src/main/scala/algebra/laws/CheckSupport.scala
- laws/shared/src/main/scala/algebra/laws/DeMorganLaws.scala+57
- laws/shared/src/main/scala/algebra/laws/GroupLaws.scala
- laws/shared/src/main/scala/algebra/laws/IsSerializable.scala+1-1
- laws/shared/src/main/scala/algebra/laws/LatticeLaws.scala
- laws/shared/src/main/scala/algebra/laws/LatticePartialOrderLaws.scala
- laws/shared/src/main/scala/algebra/laws/LogicLaws.scala
- laws/shared/src/main/scala/algebra/laws/OrderLaws.scala
- laws/shared/src/main/scala/algebra/laws/RingLaws.scala+1-1
- laws/shared/src/main/scala/algebra/laws/Rules.scala+1-1
- laws/shared/src/main/scala/algebra/laws/package.scala
- laws/shared/src/test/scala/algebra/laws/FPApprox.scala
- laws/shared/src/test/scala/algebra/laws/LawTests.scala+86-83
- laws/shared/src/test/scala/algebra/laws/Rat.scala
- laws/shared/src/test/scala/algebra/laws/SimpleDeMorgan.scala+53
- laws/shared/src/test/scala/algebra/laws/SimpleHeyting.scala
- project/build.properties+1-1
- project/plugins.sbt+13-11
- version.sbt+1-1
0 commit comments