hol-90
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of hol-90 word
- noun Technical meaning of hol-90 An implementation of HOL built on SML/NJ by Brian Graham <[email protected]>. Runs on Sun-4. 1
Information block about the term
Parts of speech for Hol-90
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?