File: tutorial1.hva

package info (click to toggle)
hat 2.02-12
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 8,296 kB
  • ctags: 668
  • sloc: haskell: 64,394; ansic: 6,112; sh: 888; makefile: 451
file content (3 lines) | stat: -rw-r--r-- 120 bytes parent folder | download | duplicates (3) 
1
2
3
 
\newcommand{\highlight}[1]{\red{\tt #1}\black}
\newcommand{\mkblue}[1]{\blue{\tt #1}\black}
\newcommand{\CUT}{\char177}