issues
search
con-kitty
/
categorifier
Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use thNameToGhcName
#58
zliu41
opened
2 years ago
0
Run `categorify` in `CoreM`
#57
zliu41
opened
2 years ago
0
Add a DynFlags plugin.
#56
sellout
opened
2 years ago
5
separate trace from fix in TracedCat
#55
zliu41
closed
2 years ago
1
simplify unsupported interpretations
#54
zliu41
opened
2 years ago
0
support more coercions
#53
zliu41
opened
2 years ago
0
eliminate `CoerceCat`
#52
zliu41
opened
2 years ago
0
support tracing of the plugin's conversion
#51
zliu41
opened
2 years ago
0
Cache inlined and categorified expressions
#50
zliu41
opened
2 years ago
0
Support `show`
#49
zliu41
opened
2 years ago
0
Flatten associative composition application and simplification
#48
zliu41
opened
2 years ago
0
Implement listed cat-theory simplification rules
#47
zliu41
opened
2 years ago
0
Handle unboxed tuples caused by `-funbox-strict-fields`
#46
zliu41
opened
2 years ago
2
Add build-time failure tests for the Categorifier plugin
#45
zliu41
opened
2 years ago
0
report when we try to convert a mutually-recursive top-level definition
#44
zliu41
opened
2 years ago
0
Avoid requiring `-fno-ignore-interface-pragmas` on Categorifier-using targets
#43
zliu41
opened
2 years ago
0
add explicit functor from Hask to target category
#42
zliu41
opened
2 years ago
2
Update README wrt Ormolu
#41
zliu41
closed
2 years ago
0
Add PlainTV and KindedTV patterns
#40
zliu41
closed
2 years ago
0
Add mkPluginCo
#39
zliu41
closed
2 years ago
1
Add lambda binder to SimplEnv when calling simplExpr
#37
zliu41
closed
2 years ago
0
Switch from git:// to https://
#36
sellout
closed
2 years ago
0
Add a README subsection on partial application
#35
zliu41
closed
2 years ago
0
Simplify builds
#34
sellout
closed
2 years ago
1
Preprocessing step to make sure `categorify` calls are in the right form
#33
zliu41
opened
2 years ago
0
Add a package to support concat-examples use with Categorifier.
#32
sellout
closed
2 years ago
0
Remove presimplifier
#31
zliu41
closed
2 years ago
0
Support many GHC versions.
#30
sellout
closed
2 years ago
1
Rename categorize to categorify.
#29
sellout
closed
2 years ago
0
Add support for GHC 8.10.7.
#28
sellout
closed
2 years ago
0
Update more issue numbers
#27
zliu41
closed
2 years ago
0
Hold meta-information for functions in Maker
#26
zliu41
opened
2 years ago
0
Reorganize custom categorize exp simplification rules
#25
zliu41
opened
2 years ago
0
Principled subst determination with re-exported Dict module
#24
zliu41
opened
2 years ago
1
Perform Prim.checkForUnboxedVars only when appropriate
#23
zliu41
opened
2 years ago
0
Fix OccInfo
#22
zliu41
opened
2 years ago
1
Add build status badge
#21
zliu41
closed
2 years ago
0
Update some issue numbers
#20
zliu41
closed
2 years ago
0
improve support for weaker categories
#19
zliu41
opened
2 years ago
1
Support `rem` and `quot` in PrimOp.hs
#18
zliu41
opened
2 years ago
0
Add more HLint rules
#17
zliu41
closed
2 years ago
0
Add hlint to CI
#16
zliu41
closed
2 years ago
0
Add Ormolu to CI.
#15
sellout
closed
2 years ago
2
Rename the repo and many modules.
#14
sellout
closed
2 years ago
0
Add HMap1 to HList.
#13
sellout
closed
2 years ago
0
Sort out the READMEs.
#12
sellout
closed
2 years ago
1
Interpret even and odd
#11
zliu41
closed
2 years ago
0
Add a link to kitty-cat-c in README
#10
zliu41
closed
2 years ago
0
Update tested-with
#9
zliu41
closed
2 years ago
0
Add CI
#8
zliu41
closed
2 years ago
0
Previous
Next