novusnota

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

• Ctrl-Key: ^[
• Octal: \033
• Unicode: \u001b
• Hexadecimal: \x1B
• Decimal: 27

novusnota

Welcome to imaginary book club! I hope everyone finished the reading this week. No? Fine, we'll just wing it. At least there's snacks.

There is a deck of cards. Each has a question on it. Play starts with a random player and proceeds in a circle, with each player drawing a card and answering the question. The first two are always:

• What is the book's title?
• What is the book's genre?

novusnota

let discard _a b = b

let rec pp lvl = function
  | `Lam f -> "(λ" ^ pp (lvl + 1) (f (`Go lvl)) ^ ")"
  | `Pi (a, f) -> "(Π" ^ pp lvl a ^ "." ^ pp (lvl + 1) (f (`Go lvl)) ^ ")"
  | `Appl (m, n) -> "(" ^ pp lvl m ^ " " ^ pp lvl n ^ ")"
  | `Ann (m, a) -> "(" ^ pp lvl m ^ " : " ^ pp lvl a ^ ")"
  | `Go x -> string_of_int x
  | `Star -> "*"
  | `Box -> "☐"