issues
search
compiling-to-categories
/
concat
Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431
stars
49
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add RepresentableCat instance for -+>
#69
mikesperber
closed
3 years ago
2
Add an Additive instance for Finite.
#68
mikesperber
closed
3 years ago
0
Add category for traversable
#67
StillerHarpo
closed
3 years ago
1
Activate alternative boxing rules from the paper.
#66
mikesperber
closed
3 years ago
2
Collect in-scope evidence for dictionary constructions.
#65
mikesperber
closed
3 years ago
1
Remove unnecessary Functor constraint.
#64
sellout
closed
2 years ago
0
Re-introduce `Strong`.
#63
sellout
closed
2 years ago
4
Rebox rules violate ghc invariant
#62
mikesperber
opened
3 years ago
5
Ok type family with second argument
#61
conal
opened
3 years ago
1
Switch to quantified constraints, and eliminate entailment logic
#60
conal
opened
3 years ago
4
Introduction of ConstCat instance unexpectedly changing result of toCcc
#59
null-a
closed
3 years ago
11
Add missing instances for `Constrained`.
#58
sellout
closed
4 years ago
1
Constructing a graph of RLC circuit elements and transforming to an affine relation between inputs and outputs.
#57
faezs
opened
4 years ago
0
Support for GHC 8.8
#56
guibou
closed
4 years ago
2
Add circleci scripts.
#55
cmk
closed
4 years ago
0
Update stack.yaml to new format
#54
eschnett
closed
5 years ago
1
Coproducts?
#53
kbr-
opened
5 years ago
2
Inefficient categorical IR?
#52
ahorn
opened
5 years ago
3
Bring gold test results (and some others) up to date
#51
kenranunderscore
closed
5 years ago
1
Too much inlining
#50
mikesperber
closed
5 years ago
2
Plugin diverges on function composition
#49
jyp
opened
5 years ago
5
CI overhaul
#48
adamgundry
closed
5 years ago
1
Support compilation on GHC 8.6
#47
adamgundry
closed
5 years ago
8
error compiling all examples
#46
nassersala
closed
5 years ago
4
Compilation with ghc-8.4
#45
kosmikus
closed
5 years ago
3
The function type constructor now has levity arguments.
#44
kosmikus
closed
5 years ago
1
Error in compiling graphic example.
#43
wpoosanguansit
opened
5 years ago
3
Dictionary construction failures and GHC 8.2.2
#42
conal
closed
10 months ago
7
CtWanted and GHC 8.2.2 in ConCat.BuildDictionary
#41
conal
opened
6 years ago
9
toCcc' rule not firing with GHC 8.2.2
#40
conal
closed
6 years ago
4
tracing output incoherent while multiple modules are building
#39
cartazio
opened
6 years ago
3
adding support for symmetric monoidal categories
#38
cartazio
opened
6 years ago
3
Compat ghc 8.2+warning fixes
#37
cartazio
closed
6 years ago
54
build error on ghc 8.2.2
#36
cartazio
closed
5 years ago
6
ConCat.Hardware.Verilog: declare modOuts so verilog compiler knows type
#35
pacak
closed
2 years ago
0
Simple, dependable recipe for client modules
#34
conal
opened
6 years ago
11
what is the current status of support for recursive definitions?
#33
cartazio
opened
6 years ago
10
Fix travis to correctly use stack resolvers.
#32
isovector
closed
6 years ago
1
Fix Travis
#31
isovector
closed
6 years ago
2
PR to test CI
#30
isovector
closed
6 years ago
0
Travis CI
#29
isovector
closed
6 years ago
3
Fix remainder of tests
#28
isovector
closed
6 years ago
0
Refactor rebox rules to avoid looping in newer GHCs
#27
osa1
closed
6 years ago
5
Gold Tests for successful examples
#26
isovector
closed
6 years ago
8
Annotate test statuses
#25
isovector
closed
6 years ago
1
Documentation on Running Simple Program using AD
#24
barak
opened
6 years ago
10
Idea: Backward propagation
#23
dramforever
closed
6 years ago
28
Initial attempt at a test framework
#22
isovector
closed
6 years ago
5
New application: Haskell to SQL (f="SELECT * FROM table;" length<$>f="SELECT COUNT(*) FROM table;")
#21
runeksvendsen
opened
6 years ago
0
buildDictionary isn't finding instances in the module being compiled
#20
conal
closed
6 years ago
0
Previous
Next