HOL88(1)

💖 HOL88(1) — the General Commands Manual glow-up ✨

okay bestie, welcome to the HOL88(1) page, living in the General Commands Manual section, and lemme tell you, this one is short but it's iconic 🫶

🌸 NAME 🌸

hol88 — Higher Order Logic 👑

✨ SYNOPSIS ✨

hol88

that's it. that's the whole vibe. no flags, no args, no drama. you just type it 💅

🦋 DESCRIPTION 🦋

so this manual page documents, like, briefly the hol88 command. short and sweet, we love that for us 😌

this page was written for the Debian GNU/Linux distribution bc the original program does not have a manual page. not one. zero. the audacity, honestly 💀

instead, it has online documentation, and here's where you find it:

• via the hol88-help and hol88-library-help packages 📦
• in dvi format, as provided in the hol88-doc package 📄

and if that wasn't enough, the documentation also lives at the project's website:

http://www.ftp.cl.cam.ac.uk/ftp/hvg/hol88

in various forms ✨ so like, pick your fave format, it's giving options.

👑 AUTHOR 👑

this manual page was written by Camm Maguire, <camm@enhanced.com>, for the Debian GNU/Linux system — but bestie, it may be used by others 🫶 so go off, share the love.

ngl this page is tiny but it ate. no cap. now go read the real docs, they're way longer 🔥

mwah 💋 that was the HOL88(1) page, dated October 26, 2006, and yes we're still serving it up in the HOL88(1) era like the icon it is 🎀✨💖