Search results

Feature request: modalities

Status: Open.

#354 In JetBrains/Arend;

· anshwad10 opened on Oct 2, 2025

Typechecker loops

Status: Open.

#352 In JetBrains/Arend;

· anshwad10 opened on Aug 4, 2025

ClassCastException

Status: Open.

#347 In JetBrains/Arend;

· alex999990009 opened on Sep 10, 2024

ConcurrentModificationException in CachingDefinitionRenamer

Status: Open.

#346 In JetBrains/Arend;

· alex999990009 opened on Sep 3, 2024

Tutorial for "Console Application" Turning Up Error

Status: Open.

#343 In JetBrains/Arend;

· brandon-sisler opened on Jul 24, 2024

No error reported about wrong use of <code>\use \coerce</code>

bug

Status: Open.

#342 In JetBrains/Arend;

· sxhya opened on Jul 3, 2024

:lib command not working as expected.

repl

Status: Open.

#336 In JetBrains/Arend;

· sxhya opened on Aug 2, 2023

Allow multiline input in REPL

repl

Status: Open.

#335 In JetBrains/Arend;

· sxhya opened on Aug 2, 2023

Improve console REPL completion

repl

Status: Open.

#334 In JetBrains/Arend;

· sxhya opened on Aug 2, 2023

PrettyPrintOptions button is greyed out

bug

error-message

Status: Open.

#331 In JetBrains/Arend;

· sxhya opened on Jun 6, 2023

Allow more unicode symbols in aliases

Status: Open.

#299 In JetBrains/Arend;

· marat-rkh opened on Jun 30, 2021

Dynamic definitions for <code>\data</code>

Status: Open.

#297 In JetBrains/Arend;

· tonyxty opened on May 22, 2021