Fixed highlighting/indentation for code examples
commit2ca555852b536a8f0d5f74ebfbdb30d219653757
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 21 Nov 2016, 13:38 (10 years ago)
parentb8f0ef6
CHANGELOG.md+3−3
@@ -5,7 +5,7 @@
55* `record` syntax now allows updating fields, including nested fields,
66 by applying a function using the `$=` operator. For example:
77
8− ```
8+ ```idris
99 record Score where
1010 constructor MkScore
1111 correct : Nat
@@ -23,9 +23,9 @@
2323
2424* Implicit parameter to interfaces are now allowed. For example:
2525
26− ```
26+ ```idris
2727 interface Shows (ts : Vect k Type) where
28− shows : HVect ts -> Vect k String
28+ shows : HVect ts -> Vect k String
2929 ```
3030 In this interface, `k` is an implicit parameter, but previously needed to
3131 be explicit