HOL is a historical programming language created in 1985.

34Years Old 1,000Users 0Jobs
  • 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.
Edit

Last updated February 11th, 2019