Issues

• Expect generates code with non-existent out-of-scope variable

  hakaru-dev/hakaru#208 · Filter by author Programmerino opened on Sep 28, 2022

• Error in installing

  hakaru-dev/hakaru#207 · Filter by author PoorvaGarg opened on Mar 16, 2022
  11

• Expect transformation lost a binder

  hakaru-dev/hakaru#203 · Filter by author ccshan opened on Sep 10, 2019
  3

• Pushing new documentation

  hakaru-dev/hakaru#202 · Filter by author JacquesCarette opened on May 14, 2019
  1

• Passing over ownership of my Syntax Highlighting package

  hakaru-dev/hakaru#201 · Filter by author mkhattab940 opened on Apr 25, 2018
  5

  

• Trying to understand the testing frame work

  hakaru-dev/hakaru#169 · Filter by author mkhattab940 opened on Apr 14, 2018
  9

• Some method for doing change of variables (as a command) still needed

  enhancementMaple
  hakaru-dev/hakaru#150 · Filter by author JacquesCarette opened on Mar 27, 2018
  

• assertion failed, KB:-kb_Partition expects its return value to be of type Partition, but computed 2 = 0

  hakaru-dev/hakaru#139 · Filter by author ccshan opened on Dec 15, 2017
  3

  

• Fix ugly hack

  hakaru-dev/hakaru#138 · Filter by author JacquesCarette opened on Dec 6, 2017
  

• Need import

  hakaru-dev/hakaru#119 · Filter by author JacquesCarette opened on Nov 23, 2017
  6

  

• real2int function?

  hakaru-dev/hakaru#116 · Filter by author mkhattab940 opened on Nov 21, 2017
  3

• Indexed names in KB

  Design
  hakaru-dev/hakaru#114 · Filter by author JacquesCarette opened on Nov 1, 2017
  

• How to look up type and bounds of array element?

  enhancementhelp wantedMaplequestion
  hakaru-dev/hakaru#109 · Filter by author ccshan opened on Aug 9, 2017
  13

  

• Implement splitting of special cases from linear operators

  hakaru-dev/hakaru#104 · Filter by author JacquesCarette opened on Jul 26, 2017
  5

  

• Error in KB:-assert_deny:-rel_coulditbe

  hakaru-dev/hakaru#103 · Filter by author yuriy0 opened on Jul 11, 2017
  8

  

• MayBoxVec type annotation problem

  hakaru-dev/hakaru#102 · Filter by author cscherrer opened on Jul 10, 2017
  2

• RoundTrip/t63 failure

  question
  hakaru-dev/hakaru#101 · Filter by author yuriy0 opened on Jul 7, 2017
  5

• RoundTrip/t62 failure

  question
  hakaru-dev/hakaru#100 · Filter by author yuriy0 opened on Jul 7, 2017
  10

• Exposing Haskell macros in Hakaru language

  hakaru-dev/hakaru#96 · Filter by author GenevaS opened on Jul 6, 2017
  2

• The syntax of "observe"

  hakaru-dev/hakaru#95 · Filter by author JacquesCarette opened on Jul 6, 2017
  

• Counting should take as arguments lower and upper bounds

  hakaru-dev/hakaru#93 · Filter by author yuriy0 opened on Jun 26, 2017

• Documenting Hakaru workflow

  documentation
  hakaru-dev/hakaru#92 · Filter by author GenevaS opened on Jun 26, 2017
  9

  

• Partition unit tests

  hakaru-dev/hakaru#91 · Filter by author yuriy0 opened on Jun 20, 2017
  

• Some part of the simplifier still relies on receiving sum instead of Sum

  hakaru-dev/hakaru#88 · Filter by author yuriy0 opened on Jun 20, 2017
  1

  

• documenting the rmProg family

  hakaru-dev/hakaru#86 · Filter by author JacquesCarette opened on Jun 15, 2017
  1