Skip to content

Issues: compiling-to-categories/concat

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

36 Open 14 Closed
36 Open 14 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Compiling to categories with dependent types
#110 opened Jan 20, 2023 by conal
2
Restricting functor arguments
#108 opened Sep 1, 2022 by mikesperber
15
[Question] Compiling to EVM bytecodes?
#107 opened Aug 24, 2022 by hellwolf
Split into separate repos?
#106 opened May 18, 2022 by sellout
12
Deduplicate LoopCat and TracedCat
#95 opened Jan 30, 2022 by sellout
2
Publish (parts of) concat on Hackage?
#90 opened Jan 11, 2022 by sellout
4
Orphans in hidden packages
#81 opened Sep 30, 2021 by zliu41
1
3
Rebox rules violate ghc invariant
#62 opened Sep 16, 2020 by mikesperber
5
Ok type family with second argument
#61 opened Aug 16, 2020 by conal
1
Switch to quantified constraints, and eliminate entailment logic
#60 opened Aug 16, 2020 by conal
4
Constructing a graph of RLC circuit elements and transforming to an affine relation between inputs and outputs.
#57 opened Apr 11, 2020 by faezs
Coproducts?
#53 opened Jun 10, 2019 by kbr-
2
Inefficient categorical IR?
#52 opened Jun 5, 2019 by ahorn
3
Plugin diverges on function composition
#49 opened Jan 25, 2019 by jyp
5
Error in compiling graphic example.
#43 opened Jul 9, 2018 by wpoosanguansit
3
CtWanted and GHC 8.2.2 in ConCat.BuildDictionary
#41 opened Jun 22, 2018 by conal
9
tracing output incoherent while multiple modules are building
#39 opened Jun 8, 2018 by cartazio
3
adding support for symmetric monoidal categories
#38 opened Jun 8, 2018 by cartazio
3
Simple, dependable recipe for client modules
#34 opened Mar 8, 2018 by conal
11
what is the current status of support for recursive definitions?
#33 opened Mar 2, 2018 by cartazio
10
Documentation on Running Simple Program using AD
#24 opened Jan 30, 2018 by barak
10
New application: Haskell to SQL (f="SELECT * FROM table;" length<$>f="SELECT COUNT(*) FROM table;")
#21 opened Dec 12, 2017 by runeksvendsen
GHC panic when compiling examples
#19 opened Oct 28, 2017 by torgeirsh
9
Update build instructions (possible Nix build motivation?)
#16 opened Aug 3, 2017 by adelbertc
3
Generates too many nodes, sometimes.
#12 opened May 12, 2017 by luke-clifton
ProTip! Mix and match filters to narrow down what you’re looking for.