HOL is a historical programming language created in 1985.
- HOL ranks in the bottom 50% of languages
- HOL first appeared in 1985
- Read more about HOL on Semantic Scholar
- I have 27 facts about HOL. just email me if you need more.
Last updated February 11th, 2019