Issues

• Repository Status?

  con-kitty/categorifier-c#88 · Filter by author o1lo01ol1o opened on Dec 15, 2024

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

  con-kitty/categorifier-c#86 · Filter by author o1lo01ol1o opened on Mar 27, 2023

• please provide Vec example

  con-kitty/categorifier-c#84 · Filter by author espguy opened on Mar 10, 2023

• Provide non-trivial "ad" example

  con-kitty/categorifier-c#77 · Filter by author wavewave opened on Jun 4, 2022

• check dev shell availability on CI

  con-kitty/categorifier-c#76 · Filter by author wavewave opened on Jun 1, 2022

• Convert withJitFunction tests to embedFunction tests

  con-kitty/categorifier-c#73 · Filter by author wavewave opened on May 28, 2022

• Retire SBV dependency from categorifier-c

  con-kitty/categorifier-c#70 · Filter by author wavewave opened on May 26, 2022

• Staged compilation for unsafePerformIO

  con-kitty/categorifier-c#58 · Filter by author zliu41 opened on Apr 15, 2022
  1

• categorify Vectors

  con-kitty/categorifier-c#57 · Filter by author zliu41 opened on Apr 15, 2022

• automatically split C into separate functions

  con-kitty/categorifier-c#56 · Filter by author zliu41 opened on Apr 15, 2022

• Generate product types to contain fallback values for unions

  con-kitty/categorifier-c#54 · Filter by author zliu41 opened on Apr 15, 2022
  1

• reify failures in the controller

  con-kitty/categorifier-c#53 · Filter by author zliu41 opened on Apr 15, 2022
  1

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

  con-kitty/categorifier-c#52 · Filter by author zliu41 opened on Apr 15, 2022

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

  con-kitty/categorifier-c#51 · Filter by author zliu41 opened on Apr 15, 2022

• Implement IfCat Cat <enum>?

  con-kitty/categorifier-c#42 · Filter by author zliu41 opened on Apr 9, 2022
  1

• Support customizing C function names

  con-kitty/categorifier-c#35 · Filter by author zliu41 opened on Mar 30, 2022

• reify failures

  con-kitty/categorifier-c#24 · Filter by author sellout opened on Feb 22, 2022

• Don't trust input specs from the user

  con-kitty/categorifier-c#23 · Filter by author sellout opened on Feb 22, 2022

• Code generator ought to generate compliant names

  con-kitty/categorifier-c#22 · Filter by author sellout opened on Feb 22, 2022