Commit Graph

8 Commits

Author SHA1 Message Date
Sergiu Ivanov e13042e802 Rename the main Racket file and the collection name.
Allows exposing the contents of this package (typed-graph) as
typed/graph (in the collection typed).
2020-12-29 22:46:09 +01:00
Sergiu Ivanov 991ab94922 Add README. 2020-12-28 23:01:17 +01:00
Sergiu Ivanov c8cd64c5df manual: interface to → interface for 2020-12-28 22:57:45 +01:00
Sergiu Ivanov 1dde7d6cf9 manual: Add Technical details. 2020-12-28 22:53:19 +01:00
Sergiu Ivanov b89fc2d83a Add info.rkt. 2020-12-28 22:33:47 +01:00
Sergiu Ivanov 851c708998 Add manual.scrbl. 2020-12-28 22:33:40 +01:00
Sergiu Ivanov a952f9968f Add the license. 2020-12-27 22:56:59 +01:00
Sergiu Ivanov 2241bf9d20 Start the library with the idea of a solution from Alex Knauth. 2020-12-27 22:46:49 +01:00