diff --git a/concept_check.htm b/concept_check.htm index 50c640b..9ddcf8d 100644 --- a/concept_check.htm +++ b/concept_check.htm @@ -26,7 +26,7 @@
The Concept Check library allows one to add explicit statement and checking of concepts in the style + "http://www.boost.org/more/generic_programming.html#concept">concepts in the style of the proposed C++ language extension. @@ -36,7 +36,7 @@Generic programming in C++ is characterized by the use of template parameters to represent abstract data types (or “concepts”). However, the + "http://www.boost.org/more/generic_programming.html#concept">concepts”). However, the C++ language itself does not provide a mechanism for the writer of a class or function template to explicitly state the concept that the user-supplied template argument should model (or conform to). Template parameters are diff --git a/creating_concepts.htm b/creating_concepts.htm index 7961a91..d579aaf 100644 --- a/creating_concepts.htm +++ b/creating_concepts.htm @@ -76,7 +76,7 @@ struct InputIterator InputIterator concept.
Next, we declare the concept's associated types + "http://www.boost.org/more/generic_programming.html#associated_type">associated types as member typedefs. The associated difference type is required to be a signed integer, and the iterator category has to be convertible to std::input_iterator_tag, so we assert those relationships. The syntax for