Search results

Theories with names/references

Status: Open.

#52 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 10, 2025

Work out notion of morphisms of Theories

Status: Open.

#51 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 10, 2025

Work out categorical semantics of Theories

Status: Open.

#50 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 10, 2025

Evaluate ascent as a proposition checker

Status: Open.

#48 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 5, 2025

Work out how to use our theories to specify a logic

Status: Open.

#47 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 5, 2025

Add syntax for translations

Status: Open.

#46 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 5, 2025

Add the ability to use dotted paths in Hypothesis

Status: Open.

#45 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 5, 2025

Add dependencies to theory instances (BasePres)

Status: Open.

#44 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Sep 5, 2025

See if there's some way to make errors unrepresentable

Status: Open.

#43 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Aug 25, 2025

Distinguish the process export

Status: Open.

#41 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Aug 25, 2025

Force ProgTheoryDecl to have a higher parse precedence than ProgProc

Status: Open.

#38 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Aug 20, 2025

Implement handleFree in InstInterpreterCases.scala

Status: Open.

#37 In F1R3FLY-io/MeTTaIL;

· metaweta opened on Aug 18, 2025