From 9bb990c9a663edc43aebb87ed84b00e6d90685c0 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Tue, 17 Jan 2017 20:44:31 +0100 Subject: Update markdown syntax to use pandoc's peculiarities --- pages/projects/type_as_value.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'pages/projects/type_as_value.md') 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<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_. -- cgit v1.2.3