From b89fc2d83a0985704d7a59cc902564dffa5ff9a2 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 28 Dec 2020 22:33:47 +0100 Subject: [PATCH] Add info.rkt. --- info.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 info.rkt diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..9643432 --- /dev/null +++ b/info.rkt @@ -0,0 +1,11 @@ +#lang info + +(define collection "typed-graph") +(define deps '("base" + "graph-lib" + "typed-racket-lib" + )) +(define scribblings '(("manual.scrbl" ()))) +(define build-deps '("racket-doc" + "scribble-lib" + ))