con-kitty/categorifier-c

Issues

• Unable to inline expression using fmap and Data.Vec.Lazy

  #86 opened 2 years ago by o1lo01ol1o
  0

• please provide `Vec` example

  #84 opened 2 years ago by espguy
  0

• Conflicting family instance declarations

  #65 opened 3 years ago by o1lo01ol1o
  11

• Embedding generated code via TH addForeignSource

  #71 opened 3 years ago by wavewave
  0

• Provide non-trivial "ad" example

  #77 opened 3 years ago by wavewave
  0

• Staged compilation for unsafePerformIO

  #58 opened 3 years ago by zliu41
  1

• check dev shell availability on CI

  #76 opened 3 years ago by wavewave
  0

• Convert withJitFunction tests to embedFunction tests

  #73 opened 3 years ago by wavewave
  0

• Retire SBV dependency from categorifier-c

  #70 opened 3 years ago by wavewave
  0

• Input types of lists or recursive products?

  #59 opened 3 years ago by o1lo01ol1o
  4

• reify failures in the controller

  #53 opened 3 years ago by zliu41
  1

• categorify Vectors

  #57 opened 3 years ago by zliu41
  0

• automatically split C into separate functions

  #56 opened 3 years ago by zliu41
  0

• Generate product types to contain fallback values for unions

  #54 opened 3 years ago by zliu41
  1

• Use custom pair type in `ReferenceCat Cat (x, a) b`

  #52 opened 3 years ago by zliu41
  0

• In `Cat a b`, make `a` and `b` the same kind

  #51 opened 3 years ago by zliu41
  0

• Implement `IfCat Cat <enum>`?

  #42 opened 3 years ago by zliu41
  1

• Support customizing C function names

  #35 opened 3 years ago by zliu41
  0

• reify failures

  #24 opened 3 years ago by sellout
  0

• Don't trust input specs from the user

  #23 opened 3 years ago by sellout
  0

• Code generator ought to generate compliant names

  #22 opened 3 years ago by sellout
  0