├── .gitignore ├── README.md ├── project └── plugins.sbt └── src ├── main └── scala │ └── principled │ └── LawSet.scala └── test └── scala └── principled └── LawSetTest.scala /.gitignore: -------------------------------------------------------------------------------- 1 | # Sbt 2 | target/ 3 | 4 | # Eclipse 5 | .classpath 6 | .project 7 | .settings/ 8 | bin/ 9 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TomasMikula/Principled/HEAD/README.md -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TomasMikula/Principled/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/scala/principled/LawSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TomasMikula/Principled/HEAD/src/main/scala/principled/LawSet.scala -------------------------------------------------------------------------------- /src/test/scala/principled/LawSetTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TomasMikula/Principled/HEAD/src/test/scala/principled/LawSetTest.scala --------------------------------------------------------------------------------