ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

add license headers

+21 -1
+7 -1
lib/compiler/Suggestions.ml
··· 1 - open Forester_core 1 + (* 2 + * SPDX-FileCopyrightText: 2024 The Forester Project Contributors AND The RedPRL Development Team 3 + * 4 + * SPDX-License-Identifier: GPL-3.0-or-later OR Apache-2.0 WITH LLVM-exception 5 + * 6 + *) 7 + open Forester_core 2 8 open Bwd 3 9 4 10 (* TODO: remove this in favor of https://github.com/ocaml/ocaml/pull/13760 *)
+7
lib/core/TeX_like.ml
··· 1 + (* 2 + * SPDX-FileCopyrightText: 2024 The Forester Project Contributors AND The RedPRL Development Team 3 + * 4 + * SPDX-License-Identifier: GPL-3.0-or-later OR Apache-2.0 WITH LLVM-exception 5 + * 6 + *) 7 + 1 8 open Types 2 9 3 10 let rec pp_content fmt = function
+7
lib/core/TeX_like.mli
··· 1 + (* 2 + * SPDX-FileCopyrightText: 2024 The Forester Project Contributors AND The RedPRL Development Team 3 + * 4 + * SPDX-License-Identifier: GPL-3.0-or-later OR Apache-2.0 WITH LLVM-exception 5 + * 6 + *) 7 + 1 8 open Types 2 9 3 10 val pp_content : Format.formatter -> content -> unit