Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

tc

The type-and-row core of a self-hosted Prism typechecker.

Modules

  • Bootstrap - Bootstrap checker workbench.
  • Tc - The type-and-row core of a Prism typechecker, written in Prism.
  • TcLaws - The property laws of the type-and-row core, run by prism test.