comparison doc/intro.ur @ 1493:9cb923efea4d

Generated pretty-printed HTML for a simple tutorial source file
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 16:50:55 -0400
parents
children 9ef6dd0df7a0
comparison
equal deleted inserted replaced
1492:175b6d52252d 1493:9cb923efea4d
1 (* Test evaluation.... *)
2
3 fun f [a] (x : a) : a = x
4
5 (* begin eval *)
6 f 6
7 (* end *)
8
9 (* Did it work? *)