Search results

CNF does not lift INC through non-lambda nodes

Status: Open.

#37 In HigherOrderCO/HVM4;

· nicolas-abril opened on Feb 5, 2026

Pattern match capture bug: captured variables become unresolved dup variables when match arms diverge

Status: Open.

#36 In HigherOrderCO/HVM4;

· gavlooth opened on Feb 3, 2026

Debug: %log primitive fails if inside a strict let

Status: Open.

#35 In HigherOrderCO/HVM4;

· pjcavalcanti opened on Feb 3, 2026

JIT Compiler

Status: Open.

#34 In HigherOrderCO/HVM4;

· pjcavalcanti opened on Feb 3, 2026

WNF in CUDA

Status: Open.

#33 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Feb 2, 2026

C FFI

Status: Open.

#32 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Feb 2, 2026

Initial set of primitives

Status: Open.

#31 In HigherOrderCO/HVM4;

· pjcavalcanti opened on Feb 2, 2026

WNF in Metal

Status: Open.

#30 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Feb 1, 2026

Add direct unscoped-lambda syntax λ. body

Status: Open.

#29 In HigherOrderCO/HVM4;

· VictorTaelin opened on Feb 1, 2026

planejar: sistema de FFI com C

Status: Open.

#28 In HigherOrderCO/HVM4;

· VictorTaelin opened on Jan 30, 2026

planejar: JIT compiler para defs

Status: Open.

#27 In HigherOrderCO/HVM4;

· VictorTaelin opened on Jan 30, 2026

planejar: conjunto de pris inicial

Status: Open.

#26 In HigherOrderCO/HVM4;

· VictorTaelin opened on Jan 30, 2026