An implementation of HOL built on ML by Mike Gordon firstname.lastname@example.org.
An implementation of HOL built on SML/NJ by Brian Graham email@example.com. Runs on Sun-4. (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: firstname.lastname@example.org.
- Holandric gene
holandric gene n. See Y-linked gene.
[ho-lan-drik, hoh-] /hɒˈlæn drɪk, hoʊ-/ adjective, Genetics. 1. of or relating to a heritable trait appearing only in males (opposed to ). holandric ho·lan·dric (hō-lān’drĭk, hŏ-) adj. Relating to a trait encoded by a gene or genes located on the Y-chromosome and therefore occurring only in males.
/ˈhəʊlˌɑːkɪ/ noun 1. a system composed of interacting holons