Changeset 34
- Timestamp:
- Nov 23, 2007, 4:25:47 PM (18 years ago)
- Author:
- neil.c.c.brown
- Message:
-
Syntax highlighted the >>* operator, and added some quotes around code that wasn't obviously code.
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
docs/trunk/200711-tock-seminars/200711-tock-slides.tex
r33 r34 68 68 %If we don't specify at least one "non-other" keyword, listings doesn't work, hence: 69 69 morekeywords={hduisahfiuabfyasbyoasvbfuyvosf}, 70 otherkeywords={::,=,==,->,=>,>>,>>=, (削除) (削除ここまで),ドル++,<-},70 otherkeywords={::,=,==,->,=>,>>,>>=,(追記) >>*, (追記ここまで),ドル++,<-}, 71 71 classoffset=1, 72 72 morekeywords={data,type,newtype,let,do,where,if,then,else,return}, … … 1257 1257 \item Can't pass a type as a parameter 1258 1258 \begin{itemize} 1259 \item Must use things like: (削除) \lstinline$undefined :: Int$ (削除ここまで)1259 \item Must use things like: (追記) ``\lstinline$undefined :: Int$'' (追記ここまで) 1260 1260 \end{itemize} 1261 1261 \end{itemize}
Note:
See TracChangeset
for help on using the changeset viewer.