lean4-terminal

WIP: event feature not finished.

A Lean package for programming the terminal.

This pacakge is mostly "translated" from Rust's crossterm.

Example

import Terminal

open Terminal

def main : IO Unit := do
  queue #[
    Terminal.SetBackgroundColor.mk Color.red
  ]
  IO.println "Hello, world"

Limitations

• stdout only, until IO primitives for Lean 4 is more usable.
• ANSI only (Win 10 and *nix). Adding support for legacy systems is important, but not our focus now.
• poll unavailable, lacking of async IO in Lean 4.