blob: 34a3f8dd7776fa4be4cd9d8f4731ecb3460f8cb0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
\begin{thebibliography}{9}
\bibitem{cleansmurf} \emph{CleanSmurf} --- Smurf interpreter in Clean,
\url{https://github.com/camilstaps/CleanSmurf}. Opgehaald 10 juni 2016.
\bibitem{prooftree} Formal Mathematical Proofs in \TeX{},
\url{http://www.paultaylor.eu/proofs/}. Paul Taylor. Opgehaald 12 juni 2016.
\bibitem{safalra} Smurf Specification,
\url{http://safalra.com/programming/esoteric-languages/smurf/specification/}.
Opgehaald 27 april 2016.
\bibitem{esolang:prog} Smurf --- Reversing input on Esolang,
\url{http://esolangs.org/wiki/Smurf#Reversing_input}. Opgehaald 27 mei 2016.
\end{thebibliography}
|
