Issues

• Detect google benchmark library automatically

  leanil/LambdaGen#18 · Filter by author leanil opened on Jun 25, 2019

• Clarify the meaning of type Double and Power Double []

  leanil/LambdaGen#17 · Filter by author leanil opened on Jun 18, 2019

• Add replicate primitive

  leanil/LambdaGen#15 · Filter by author leanil opened on Jun 8, 2019

• Implement vector argument fusion for zip and redozip

  leanil/LambdaGen#14 · Filter by author leanil opened on Jun 1, 2019

• Redesign typecheck with error monad

  leanil/LambdaGen#13 · Filter by author leanil opened on Jun 1, 2019

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

  leanil/LambdaGen#11 · Filter by author leanil opened on May 15, 2019

• Place the called function id in the Arrow type

  leanil/LambdaGen#10 · Filter by author leanil opened on May 15, 2019

• Allocate storage at the lowest possible level

  leanil/LambdaGen#9 · Filter by author leanil opened on May 14, 2019
  1

• Generate random expressions for testing

  leanil/LambdaGen#8 · Filter by author leanil opened on May 13, 2019

• Import and export expression trees to JSON

  leanil/LambdaGen#7 · Filter by author leanil opened on May 13, 2019

• Remove HofSpec collection

  leanil/LambdaGen#6 · Filter by author leanil opened on May 13, 2019

• Simplify handling let bindings in codegen

  leanil/LambdaGen#5 · Filter by author leanil opened on May 13, 2019

• Implement automated tests for type errors.

  leanil/LambdaGen#3 · Filter by author leanil opened on Mar 25, 2018

• Don't compare kernel results as strings.

  leanil/LambdaGen#2 · Filter by author leanil opened on Mar 21, 2018

• Use Hspec for testing.

  leanil/LambdaGen#1 · Filter by author leanil opened on Mar 21, 2018