A typed interface to the Racket generic graph library.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Sergiu Ivanov 9a1756d956 State plainly that this typed interface is incomplete. 1 year ago
LICENSE Add the license. 2 years ago
README.md State plainly that this typed interface is incomplete. 1 year ago
graph.rkt graph.rkt: Say that graph properties are not supported. 1 year ago
info.rkt Fix the dependencies. 2 years ago
manual.scrbl State plainly that this typed interface is incomplete. 1 year ago

README.md

Typed Interface for the Generic Graph Library

This library provides an incomplete typed interface to the generic graph library.

As the name says it, the graph library relies on Racket generics quite a bit, which are not supported by Typed Racket as of 2021-10-10. Furthermore, the graph library defines a number of cool and elegant macros, which I haven't figured out how to get working with Typed Racket yet.

Free to submit patches to me by E-mail. I will try my best to review and apply them within a reasonable time frame.