From c8cd64c5df01b7a9c916e4e39a88413e5f3c8d70 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 28 Dec 2020 22:57:45 +0100 Subject: [PATCH] =?UTF-8?q?manual:=20interface=20to=20=E2=86=92=20interfac?= =?UTF-8?q?e=20for?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- manual.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manual.scrbl b/manual.scrbl index 7d34dbb..d3c9a51 100644 --- a/manual.scrbl +++ b/manual.scrbl @@ -2,7 +2,7 @@ @(require (for-label (only-in typed/racket require/typed require/typed/provide))) -@title{Typed Interface to the Generic Graph Library} +@title{Typed Interface for the Generic Graph Library} @author[@author+email["Sergiu Ivanov" "sivanov@colimite.fr"]]