Search results

Detect google benchmark library automatically

Status: Open.

#18 In leanil/LambdaGen;

· leanil opened on Jun 25, 2019

Clarify the meaning of type Double and Power Double []

Status: Open.

#17 In leanil/LambdaGen;

· leanil opened on Jun 18, 2019

Add replicate primitive

Status: Open.

#15 In leanil/LambdaGen;

· leanil opened on Jun 8, 2019

Implement vector argument fusion for zip and redozip

Status: Open.

#14 In leanil/LambdaGen;

· leanil opened on Jun 1, 2019

Redesign typecheck with error monad

Status: Open.

#13 In leanil/LambdaGen;

· leanil opened on Jun 1, 2019

Remove (or hide) the strides from the type of View

Status: Open.

#11 In leanil/LambdaGen;

· leanil opened on May 15, 2019

Place the called function id in the Arrow type

Status: Open.

#10 In leanil/LambdaGen;

· leanil opened on May 15, 2019

Allocate storage at the lowest possible level

Status: Open.

#9 In leanil/LambdaGen;

· leanil opened on May 14, 2019

Generate random expressions for testing

Status: Open.

#8 In leanil/LambdaGen;

· leanil opened on May 13, 2019

Import and export expression trees to JSON

Status: Open.

#7 In leanil/LambdaGen;

· leanil opened on May 13, 2019

Remove HofSpec collection

Status: Open.

#6 In leanil/LambdaGen;

· leanil opened on May 13, 2019

Simplify handling let bindings in codegen

Status: Open.

#5 In leanil/LambdaGen;

· leanil opened on May 13, 2019