Search results

Consider using cmdliner

Status: Open.

#101 In gwaithimirdain/narya;

· mikeshulman opened on Oct 2, 2025

Migrate readthedocs to github app

Status: Open.

#100 In gwaithimirdain/narya;

· mikeshulman opened on Sep 24, 2025

<code>suffices</code> expressions

Status: Open.

#91 In gwaithimirdain/narya;

· suhr opened on Aug 4, 2025

Mnemonic for permutations in the documentation

Status: Open.

#73 In gwaithimirdain/narya;

· andresgu528 opened on May 29, 2025

Indexed coinductive types

Status: Open.

#63 In gwaithimirdain/narya;

· mikeshulman opened on Apr 25, 2025

ProofGeneral vs Agda keybindings

Status: Open.

#42 In gwaithimirdain/narya;

· mikeshulman opened on Feb 24, 2025

Number holes in textual order

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In gwaithimirdain/narya;

· mikeshulman opened on Feb 17, 2025

Spaceless field projections from variables and constants?

Status: Open.

#32 In gwaithimirdain/narya;

· mikeshulman opened on Nov 26, 2024

Motivating examples

Status: Open.

#21 In gwaithimirdain/narya;

· jfaure opened on Sep 5, 2024