<link href="http://google-code-prettify.googlecode.com/svn/trunk/src/prettify.css" type="text/css" rel="stylesheet" />and also modified the "body" tag like this:
<script type="text/javascript" src="http://google-code-prettify.googlecode.com/svn/trunk/src/prettify.js"> </script>
<script type="text/javascript" src="http://google-code-prettify.googlecode.com/svn/trunk/src/lang-hs.js"> </script>
<body onload='prettyPrint()'>and voila, it's possible, to get syntax highlighting by using the "pre" tag with the attribute "prettyprint lang-html" or "prettyprint lang-hs" or ... !
Note: you may need to clean the HTML parenthesis with this tool: Simplecode.pl
{-# LANGUAGE GADTs, FlexibleInstances #-} module StackMachineMonad where -- Representation type Program instr = [instr] type StackProgram = Program StackInstruction data StackInstruction = Push Int | Pop -- Concatenation and interface empty = [] pop :: StackProgram push :: Int -> StackProgram pop = Pop : [] push n = Push n : [] -- Interpreter type Stack a = [a] interpret :: StackProgram -> (Stack Int -> Stack Int) interpret (Push a : is) stack = interpret is (a : stack) interpret (Pop : is) stack = interpret is (tail stack) interpret [] stack = stack -- Examples, try for instance -- > interpret example [] -- > interpret (replace 5) [3] example = Push 5 : Push 42 : Pop : [] exampleTwice = example ++ example replace a = pop ++ push a