diff options
Diffstat (limited to 'pages/projects/type_as_value.md')
-rw-r--r-- | pages/projects/type_as_value.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pages/projects/type_as_value.md b/pages/projects/type_as_value.md index 5a8e37a..2ee35a1 100644 --- a/pages/projects/type_as_value.md +++ b/pages/projects/type_as_value.md @@ -30,7 +30,7 @@ Furthermore an overview of this library alongside some background information is ## Usage example -~~~ +```cpp // λ (length (filter odd? (list 1 2 3))) // 2 @@ -40,8 +40,7 @@ const std::size_t count = tav::Length< tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>> > >::value; -~~~ -{: .language-cpp} +``` More extensive [examples] are available in the form of implementations of the _Sieve of Eratosthenes_ as well as of a _Turing machine_. |