follow Dictionary.com

What's the "een" in Halloween?

hol-90

hol-90 in Technology

An implementation of HOL built on SML/NJ by Brian Graham graham@cpsc.ucalgary.ca. Runs on Sun-4.
(ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: info-hol@clover.ucdavis.edu.
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

Quotes with hol-90

Nearby words for hol-90