Search results

Induction on ? is a complete proof

Status: Open.

#2052 In hazelgrove/hazel;

· Negabinary opened on Dec 17, 2025

Test dependencies ahead of 2026-01-01 dune archival

Status: Open.

#2051 In hazelgrove/hazel;

· 7h3kk1d opened on Dec 10, 2025

Type probes: toggle between synthesis / analysis / dynamic by clicking on arrow

Status: Open.

#2050 In hazelgrove/hazel;

· cyrus- opened on Dec 5, 2025

Singleton Labeled Tuple in Let Expression

bug

criticalcritical bugcritical bug

Status: Open.

#2049 In hazelgrove/hazel;

· Negabinary opened on Nov 30, 2025

Structurally identical polymorphic types that only differ by typvar names don't have join

bug

Status: Open.

#2047 In hazelgrove/hazel;

· aasmart opened on Nov 26, 2025

Don't require double click on stepper when not in proof mode

Status: Open.

#2043 In hazelgrove/hazel;

· Negabinary opened on Nov 25, 2025

Log doesn't reset between different versions of Hazel / assignments

bug

criticalcritical bugcritical bug

Status: Open.

#2025 In hazelgrove/hazel;

· Negabinary opened on Nov 20, 2025

Select(Term(Id)) is logged using Id

bug

criticalcritical bugcritical bug

Status: Open.

#2024 In hazelgrove/hazel;

· Negabinary opened on Nov 20, 2025

Undo is not logged

bug

criticalcritical bugcritical bug

Status: Open.

#2023 In hazelgrove/hazel;

· Negabinary opened on Nov 20, 2025

Add a property based test ensuring type join is more precise than it's arguments

testing

Status: Open.

#2017 In hazelgrove/hazel;

· 7h3kk1d opened on Nov 13, 2025

Text sometimes disappears on Safari

bug

Status: Open.

#2006 In hazelgrove/hazel;

· Cryplo opened on Nov 7, 2025

Exporting/Importing Scratchpads Incompatible

bug

criticalcritical bugcritical bug

Status: Open.

#2004 In hazelgrove/hazel;

· MaxCarroll0 opened on Nov 6, 2025