Add missing languages on code fences

pikelet-lang · May 23, 2020 · 40832c9 · 40832c9
1 parent c71fecb
commit 40832c9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/website/docs/reference/functions.md b/website/docs/reference/functions.md
@@ -25,14 +25,14 @@ S32 -> S32 -> S32
 
 Function types are also types:
 
-```
+```pikelet
 U32 -> U32 : Type
 ```
 
 In order to find the universe level of a function type,
 we use the universe level the largest input or output:
 
-```
+```pikelet
 U32 -> Type^2 : Type^3
 ```
 

diff --git a/website/docs/reference/records.md b/website/docs/reference/records.md
@@ -41,7 +41,7 @@ Here the type of `a` _depends_ on the type given to `A`.
 
 Record types are also types:
 
-```
+```pikelet
 Record {
   first : U32,
 } : Type