diff --git a/concept_checking.html b/concept_checking.html index 227f322..0c1a15f 100644 --- a/concept_checking.html +++ b/concept_checking.html @@ -117,8 +117,8 @@ checker.

Here's a quick example program that one could write to see if the types adjacency_list and edge_list really model the +href="../graph/docs/adjacency_list.html">adjacency_list and edge_list really model the concepts they claim to.