more upydates
[phd-thesis.git] / glossaries.tex
index 392abab..4b09424 100644 (file)
@@ -28,7 +28,7 @@
 \myacronym{HOAS}{HOAS}{high-order abstract syntax}
 \myacronym{IOT}{Io\kern-.3mmT}{internet of things}
 \myacronym{IDE}{IDE}{integrated development environment}
-\myacronym{IO}{IO}{input/output}
+\myacronym{IO}{I/O}{input/output}
 \myacronym{IR}{IL}{intermediate representation}
 \myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
 \myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}