├── .classpath ├── .gitignore ├── .project ├── LICENSE ├── Makefile ├── README.md ├── lib └── scalatest_2.10-2.0.M5b.jar └── src └── oalg └── algebra ├── aspects └── Circular.scala ├── core └── Algebras.scala ├── demo ├── grammar │ ├── Grammar.scala │ ├── Main.scala │ └── Tests.scala └── stacks │ ├── Main.scala │ └── Stacks.scala └── paper ├── Basic.scala ├── Generic.scala ├── Merge.scala ├── Reflective.scala └── Self.scala /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/.classpath -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .cache 2 | bin/ 3 | .*~ -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/.project -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/README.md -------------------------------------------------------------------------------- /lib/scalatest_2.10-2.0.M5b.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/lib/scalatest_2.10-2.0.M5b.jar -------------------------------------------------------------------------------- /src/oalg/algebra/aspects/Circular.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/aspects/Circular.scala -------------------------------------------------------------------------------- /src/oalg/algebra/core/Algebras.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/core/Algebras.scala -------------------------------------------------------------------------------- /src/oalg/algebra/demo/grammar/Grammar.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/demo/grammar/Grammar.scala -------------------------------------------------------------------------------- /src/oalg/algebra/demo/grammar/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/demo/grammar/Main.scala -------------------------------------------------------------------------------- /src/oalg/algebra/demo/grammar/Tests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/demo/grammar/Tests.scala -------------------------------------------------------------------------------- /src/oalg/algebra/demo/stacks/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/demo/stacks/Main.scala -------------------------------------------------------------------------------- /src/oalg/algebra/demo/stacks/Stacks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/demo/stacks/Stacks.scala -------------------------------------------------------------------------------- /src/oalg/algebra/paper/Basic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/paper/Basic.scala -------------------------------------------------------------------------------- /src/oalg/algebra/paper/Generic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/paper/Generic.scala -------------------------------------------------------------------------------- /src/oalg/algebra/paper/Merge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/paper/Merge.scala -------------------------------------------------------------------------------- /src/oalg/algebra/paper/Reflective.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/paper/Reflective.scala -------------------------------------------------------------------------------- /src/oalg/algebra/paper/Self.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tvdstorm/oalgcomp/HEAD/src/oalg/algebra/paper/Self.scala --------------------------------------------------------------------------------