Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/greencard/Name.lhs
% % Copyright (C) 1997 Thomas Nordin and Alastair Reid % \begin{code} module Name ( Name ) where \end{code} \begin{code} type Name = String \end{code}