package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
4.2.0.tar.gz
md5=7543fe7acbdfeb2056dc0b774965239f
sha512=2317bf84588692bbbd40e5fa944faab4889474e4a058e336bd1165f6dd8e55e8979affab098248c87354acdc3b6e6927305553ff5ab6b002b6739719814ec080
Description
Published: 28 Jul 2024
README
README.md
This is the source repository for the forester tool, which is implemented in the OCaml programming language. Please see this page for more information.
System Requirements
You need to have OCaml 5 and opam installed.
Installation
You can install forester by running opam install forester
.
Contributing
Please mail patches by email to ~jonsterling/forester-devel@lists.sr.ht. General discussion can be mailed to ~jonsterling/forester-discuss@lists.sr.ht.
Using nix (Optional)
Forester can also be used with nix
. To run forester
, use nix run sourcehut:~jonsterling/ocaml-forester
. If you are working with a Nix flake-based project and want to include Forester as a build input, you can add it to your flake.nix
:
{
inputs = {
forester.url = "sourcehut:~jonsterling/ocaml-forester";
forester.inputs.nixpkgs.follows = "nixpkgs";
};
outputs = inputs@{ self, forester, nixpkgs }:
let
system = "x86_64-linux"; # make sure to change this to your use case!
pkgs = import nixpkgs { inherit system inputs; };
in
{
devShells.${system}.default = pkgs.mkShell {
buildInputs = [ forester.packages.${system}.default ];
};
};
}
Example Use
Please see my Forest for an example of using forester, or clone your own template forest.
Dependencies (20)
-
pure-html
>= "3.5.0"
-
uri
>= "4.4.0"
-
ppx_repr
>= "0.7.0"
-
repr
>= "0.7.0"
-
toml
>= "7.1.0"
-
yojson
>= "2.1.2"
-
algaeff
>= "2.0.0"
-
bwd
>= "2.3.0"
-
yuujinchou
>= "5.2.0"
-
asai
>= "0.3.0"
-
ptime
>= "1.1.0"
-
eio_main
>= "1.1"
-
uucp
>= "15.1.0"
- dune-build-info
-
cmdliner
>= "1.2.0"
- ppx_deriving
-
dune
>= "3.13"
-
ocaml
>= "5.1.1"
-
ocamlgraph
>= "2.1.0"
-
menhir
>= "20240715"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page