Search results

Cannot generate menhir parser when using locally nameless

Status: Open.

#136 In ott-lang/ott;

· dorchard opened on Feb 7, 2026

Rules statistics in tex

Status: Open.

#135 In ott-lang/ott;

· vzaliva opened on Sep 22, 2025

Coq to Rocq name change

Status: Open.

#130 In ott-lang/ott;

· PeterSewell opened on Jun 18, 2025

Ott filtering with cache rejects parse

Status: Open.

#128 In ott-lang/ott;

· dc-mak opened on May 2, 2025

Add support for Rocq 9.0.0

Status: Open.

#126 In ott-lang/ott;

· eapiova opened on Mar 26, 2025

Build issues with version 0.33 on Windows (0.32 works fine)

Status: Open.

#101 In ott-lang/ott;

· MSoegtropIMC opened on Apr 4, 2023

Grammar railroad diagram

Status: Open.

#98 In ott-lang/ott;

· mingodad opened on Feb 9, 2023

Typos

Status: Open.

#91 In ott-lang/ott;

· SnarkBoojum opened on Jul 10, 2022

Applicative or monadic list forms?

Status: Open.

#90 In ott-lang/ott;

· basic-calculus opened on Feb 16, 2022

Unicode support in .ott files

Status: Open.

#85 In ott-lang/ott;

· PeterSewell opened on Aug 31, 2021

Missing documentation for preamble homs

Status: Open.

#82 In ott-lang/ott;

· palmskog opened on Jul 13, 2021

[locally-nameless] disable emitting lc constraints for some rules

Status: Open.

#80 In ott-lang/ott;

· rogerbosman opened on Jul 13, 2021