[ docs ] Properly highlight code as Agda code.

agda · Oct 12, 2015 · eaebeaf · eaebeaf
1 parent cd27a7b
commit eaebeaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/conf.py b/doc/conf.py
@@ -94,7 +94,7 @@
 
 # The name of the Pygments (syntax highlighting) style to use.
 pygments_style = 'sphinx'
-highlight_language = 'haskell'
+highlight_language = 'Agda'
 
 # A list of ignored prefixes for module index sorting.
 #modindex_common_prefix = []