follow Dictionary.com

A lot vs. Alot: 9 Grammatical Pitfalls

hol-88

hol-88 in Technology


An implementation of HOL built on ML by Mike Gordon mjcg@cl.cam.ac.uk.

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for hol

0
0
Scrabble Words With Friends

Nearby words for hol-88