Search results

when constructing a record type with MAYBE attributes, if those attributes are unmentioned in the construction, default them to NOTHING

Status: Open.

#645 In smucclaw/l4-ide;

· mengwong opened on Nov 26, 2025

dreaded monomorphism restriction while implementing dictionary (map) type

Status: Open.

#641 In smucclaw/l4-ide;

· mengwong opened on Nov 17, 2025

semantics of counterfactual and subject to

Status: Open.

#640 In smucclaw/l4-ide;

· mengwong opened on Nov 5, 2025

Implement Interactive Boolean Minimization for Query Relevance Reduction

Status: Open.

#638 In smucclaw/l4-ide;

· mengwong opened on Oct 27, 2025

Native Support for Other Language Syntaxes

Status: Open.

#637 In smucclaw/l4-ide;

· mengwong opened on Oct 27, 2025

Decision service optimization into interpreted/compiled runtime vs incremental query

Status: Open.

#636 In smucclaw/l4-ide;

· mengwong opened on Oct 27, 2025

Critical L4 decision service improvements for active service

Status: Open.

#635 In smucclaw/l4-ide;

· serrynaimo opened on Sep 29, 2025

what's our syntax for explicit breach?

Status: Open.

#634 In smucclaw/l4-ide;

· mengwong opened on Sep 28, 2025

visualizer expansion could use some improvement

Status: Open.

#630 In smucclaw/l4-ide;

· mengwong opened on Sep 1, 2025

CI/CD to build releases for github extension

Status: Open.

#629 In smucclaw/l4-ide;

· mengwong opened on Sep 1, 2025

auto deploy to dev web app + endpoints

Status: Open.

#628 In smucclaw/l4-ide;

· mengwong opened on Sep 1, 2025

what about MUSTNT

Status: Open.

#604 In smucclaw/l4-ide;

· mengwong opened on Jun 26, 2025