graph-typed.rkt: Start.

2020-12-21 23:22:59 +01:00 · 2020-12-21 23:22:59 +01:00 · 05a5ce2ad1
commit 05a5ce2ad1
parent e5ad2f027c
1 changed files with 7 additions and 0 deletions
--- a/graph-typed.rkt
+++ b/graph-typed.rkt
@ -0,0 +1,7 @@
+#lang typed/racket
+
+;;; Slap types on some graph functions.
+
+(require/typed/provide graph
+  [#:opaque Graph graph?]
+  [graphviz (-> Graph String)])