Skip to content

Issues: CategoricalData/hydra

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

53 Open 45 Closed
53 Open 45 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
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

Rename hydra/core.UnitType to hydra/core.Unit
#123 opened Mar 9, 2024 by joshsh
2
Explore compact labeled records and variants
#122 opened Mar 6, 2024 by joshsh
3
Unify Name and FieldName, and make them aliases for string
#121 opened Feb 29, 2024 by joshsh
@joshsh
1
uint8 type in Java should be Short, not Byte bug Something isn't working
#120 opened Feb 26, 2024 by joshsh
@joshsh
Minimize manual type annotations
#119 opened Feb 16, 2024 by joshsh
@joshsh
Explore rebasing Hydra inference against Algorithm W
#118 opened Feb 15, 2024 by joshsh
1
Incorrect encoding of universal types in showTerm bug Something isn't working
#117 opened Feb 13, 2024 by joshsh
@joshsh
2
Restore check for infinite types
#116 opened Nov 30, 2023 by joshsh
Unify the Nominal type with RowType
#115 opened Nov 16, 2023 by joshsh
1
Minimize inferred type annotations
#114 opened Nov 16, 2023 by joshsh
Eliminate annotation classes
#113 opened Nov 16, 2023 by joshsh
1
Unify elements and let-bindings with respect to type inference
#112 opened Nov 14, 2023 by joshsh
1
Revamp type inference with respect to universal types
#103 opened Aug 30, 2023 by joshsh
1
Allow primitive functions to override DSL-based default implementations
#102 opened Aug 30, 2023 by joshsh
1
Investigate graphs-as-proofs formalism
#91 opened Jun 12, 2023 by joshsh
1
Support type inference for recursive elements formalism
#90 opened Jun 12, 2023 by joshsh
3
Align Hydra's epsilon encoding with the Lambda Graph spec formalism
#89 opened Jun 12, 2023 by joshsh
Investigate support for coinductive types formalism
#88 opened Jun 12, 2023 by joshsh
2
Consider generalizing Lambda Graph's collection types formalism
#87 opened Jun 12, 2023 by joshsh
Fix asymmetry of introductions and eliminations formalism
#86 opened Jun 12, 2023 by joshsh
1
Regression tests for coders other than Haskell and Java
#85 opened May 28, 2023 by joshsh
Fix operator precedence / lots of irritating silly parentheses (LISP) lower priority
#84 opened May 22, 2023 by joshsh
Remove type name from RowType
#82 opened May 19, 2023 by joshsh
1
Make the Avro coder bidirectional for types lower priority
#81 opened Apr 3, 2023 by joshsh
Add a Python coder
#80 opened Apr 2, 2023 by joshsh
3
ProTip! Exclude everything labeled bug with -label:bug.