Search results

[bug] Scope problem of implicit argument and fulfilling class type

Status: Open.

#116 In cicada-lang/cicada-plct;

· xieyuheng opened on Nov 6, 2022

[feature] coverage check

Status: Open.

#113 In cicada-lang/cicada-plct;

· xieyuheng opened on Nov 1, 2022

[feature] constraint-based unification

Status: Open.

#111 In cicada-lang/cicada-plct;

· xieyuheng opened on Oct 7, 2022

[design] syntax for "same-as chart"

Status: Open.

#108 In cicada-lang/cicada-plct;

· xieyuheng opened on Oct 6, 2022

fix <code>occurClosure</code> for <code>ClosureNative</code>

Status: Open.

#107 In cicada-lang/cicada-plct;

· xieyuheng opened on Oct 6, 2022

[design] syntax to reason about equations

Status: Open.

#105 In cicada-lang/cicada-plct;

· xieyuheng opened on Oct 6, 2022

[maybe] quit using <code>piBindingtoFnBindingFrom</code> in "clazz_binding:method_fulfilled"

Status: Open.

#104 In cicada-lang/cicada-plct;

· xieyuheng opened on Oct 6, 2022

[feature] support self type

Status: Open.

#93 In cicada-lang/cicada-plct;

· xieyuheng opened on Sep 22, 2022

[feature] inductive datatype

Status: Open.

#42 In cicada-lang/cicada-plct;

· xieyuheng opened on Sep 13, 2022

[feature] support recursion

Status: Open.

#41 In cicada-lang/cicada-plct;

· xieyuheng opened on Sep 13, 2022

[design] nullary class application

Status: Open.

#24 In cicada-lang/cicada-plct;

· xieyuheng opened on Sep 7, 2022

[DX] standard formatter

Status: Open.

#20 In cicada-lang/cicada-plct;

· xieyuheng opened on Sep 6, 2022