package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/README.nix.html
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 ];
};
};
}
We also maintain a nix binary cache with cachix See this the forester cachix page for information about how to set it up.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>