package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

4.1.0.tar.gz
md5=576a2fe0666a6bd9fbbf9a567c0aee79
sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e

doc/src/forester.core/Forester_core.ml.html

Source file Forester_core.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
include Base

module Syn = Syn
module Sem = Sem
module Code = Code

module Resolver = Resolver
module Expand = Expand
module Eval = Eval
module Query = Query
module BaseN = BaseN

module Reporter = Reporter
module Range = Range
module Prim = Prim

module TeX_cs = TeX_cs
module Symbol = Symbol
OCaml

Innovation. Community. Security.