├── .envrc ├── .gitignore ├── README.md ├── bin ├── dune └── main.ml ├── dune-project ├── flake.lock ├── flake.nix ├── lib ├── compute.ml ├── compute.mli ├── dune ├── example.ml ├── expr.ml ├── generalities.ml ├── selections.ml ├── symbolic.ml └── symbolic.mli ├── playtime.opam └── test ├── dune └── playtime.ml /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/.envrc -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | /_build/ 3 | /.direnv/ 4 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/README.md -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/main.ml: -------------------------------------------------------------------------------- 1 | let () = print_endline "Hello, World!" 2 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/dune-project -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/flake.nix -------------------------------------------------------------------------------- /lib/compute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/compute.ml -------------------------------------------------------------------------------- /lib/compute.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/compute.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/example.ml -------------------------------------------------------------------------------- /lib/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/expr.ml -------------------------------------------------------------------------------- /lib/generalities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/generalities.ml -------------------------------------------------------------------------------- /lib/selections.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/selections.ml -------------------------------------------------------------------------------- /lib/symbolic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/symbolic.ml -------------------------------------------------------------------------------- /lib/symbolic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/lib/symbolic.mli -------------------------------------------------------------------------------- /playtime.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/playtime/HEAD/playtime.opam -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- 1 | (test 2 | (name playtime)) 3 | -------------------------------------------------------------------------------- /test/playtime.ml: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------