Skip to content
<awesome-gh-repos>
vic

ericfinster/catt.io

Revised Omega-categorical Typechecker
Source code at GitHub null
ericfinster/catt.io.json
{
  "createdAt": "2019-11-16T10:27:05Z",
  "defaultBranch": "master",
  "description": "Revised Omega-categorical Typechecker",
  "fullName": "ericfinster/catt.io",
  "homepage": null,
  "language": "OCaml",
  "name": "catt.io",
  "pushedAt": "2024-11-03T12:52:54Z",
  "stargazersCount": 27,
  "topics": [],
  "updatedAt": "2025-07-19T09:20:14Z",
  "url": "https://github.com/ericfinster/catt.io"
}

Introduction

Section titled “Introduction”

Catt.io is an experimental typechecker for weak higher dimensional categories.

Requirements

Section titled “Requirements”

Catt.io has two dependencies for building the parser and lexer:

  1. Menhir
  2. ocamllex

These can be installed from opam.

Build

Section titled “Build”

The project builds with dune. A simple

dune build

should build the project. A top level Makefile is also provided for convenience.

Semistrictness

Section titled “Semistrictness”

Semistrictness can be turned on by using the --sua flag. To typecheck the examples, change to the examples directory and run:

../_build/default/bin/catt.exe --sua monoidal.catt

../_build/default/bin/catt.exe --sua syllepsis.catt