The unpac monorepo manager self-hosting as a monorepo using unpac
AsciiDoc: https links
+4
-4
+1
-1
HACKING.adoc
+1
-1
HACKING.adoc
···
177
177
link:yacc/[]:: The `ocamlyacc` parser generator. We do not recommend
178
178
using it for user projects in need of a parser generator. Please
179
179
consider using and contributing to
180
-
link:http://gallium.inria.fr/~fpottier/menhir/[menhir] instead, which
180
+
link:https://gallium.inria.fr/~fpottier/menhir/[menhir] instead, which
181
181
has tons of extra features, lets you write more readable grammars, and
182
182
has excellent documentation.
183
183
+1
-1
parsing/HACKING.adoc
+1
-1
parsing/HACKING.adoc
···
9
9
10
10
link:parser.mly[parser.mly]:: This file contains the grammar used to
11
11
generated the parser -- using the
12
-
link:http://gallium.inria.fr/~fpottier/menhir/[menhir] parser
12
+
link:https://gallium.inria.fr/~fpottier/menhir/[menhir] parser
13
13
generator, which is an external tool that you need to install if you
14
14
wish to modify the parser.
15
15
+2
-2
typing/HACKING.adoc
+2
-2
typing/HACKING.adoc
···
3
3
inference. Here is a reading list to ease your discovery of the
4
4
typechecker:
5
5
6
-
http://caml.inria.fr/pub/docs/u3-ocaml/index.html[Using, Understanding, and Unraveling the OCaml Language by Didier Rémy] ::
6
+
https://caml.inria.fr/pub/docs/u3-ocaml/index.html[Using, Understanding, and Unraveling the OCaml Language by Didier Rémy] ::
7
7
This book provides (among other things) a formal description of parts
8
8
of the core OCaml language, starting with a simple Core ML.
9
9
10
-
http://okmij.org/ftp/ML/generalization.html[Efficient and Insightful Generalization by Oleg Kiselyov] ::
10
+
https://okmij.org/ftp/ML/generalization.html[Efficient and Insightful Generalization by Oleg Kiselyov] ::
11
11
This article describes the basis of the type inference algorithm used
12
12
by the OCaml type checker. It is a recommended read if you want to
13
13
understand the type-checker codebase, in particular its handling of