Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Algebraic Logic Functional language
Jump to user comments
language (ALF) A language by Rudolf Opalla
opalla@julien.informatik.uni-dortmund.de which combines