Skip to content

Issues: typedefs/typedefs

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

51 Open 99 Closed
51 Open 99 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
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

http://typedefs.com/ site is down
#239 opened Mar 2, 2024 by sitch
Visualise typedefs feature:documentation Issues related to documentation
#236 opened Sep 2, 2020 by andrevidela
Find a way to generalise TNat1 and TString1 feature:enhancement Enhancements that do not affect core functionality newcomer:help wanted This issue needs a new pair of eyes
#235 opened Jun 21, 2020 by andrevidela
Check for key oder and format feature:enhancement Enhancements that do not affect core functionality newcomer:beginner-friendly Good to get started with Typedefs
#233 opened Jun 11, 2020 by andrevidela
Can we remove RRef? code:core feature:enhancement Enhancements that do not affect core functionality
#232 opened Jun 11, 2020 by andrevidela
Implement test suite for binary format in Idris backend code:tests feature:enhancement Enhancements that do not affect core functionality
#228 opened May 28, 2020 by andrevidela
Update eqTy to with with non-empty specialisation contexts feature:enhancement Enhancements that do not affect core functionality
#226 opened May 23, 2020 by andrevidela
Add ignoreWeaken (reverse of ignoreShift) feature:enhancement Enhancements that do not affect core functionality
#221 opened Apr 23, 2020 by clayrat
1
@andrevidela
1
Wrong name in haskell backend Backend:Haskell issues related to the haskell backed status:bug
#209 opened Mar 3, 2020 by andrevidela Specialization Release
Fix parser on identifiers which aren't type applications but use references code:syntax status:bug
#208 opened Feb 29, 2020 by andrevidela
1
PureScript backend Backend:Purescript feature:new Issues for brand new features
#206 opened Feb 4, 2020 by andrevidela
@clayrat
1
re-add specialisation tests build:CI status:bug
#202 opened Dec 19, 2019 by andrevidela Specialization Release
re-add Typedefs.Strings without breaking CI build:CI build:nix
#201 opened Dec 16, 2019 by andrevidela Specialization Release
Fix termdefs for specialised types Backend:Haskell issues related to the haskell backed
#198 opened Dec 8, 2019 by andrevidela Specialisation improvements
7
Replace uses of empty type application by references feature:enhancement Enhancements that do not affect core functionality
#193 opened Oct 22, 2019 by andrevidela
1
Haskell: Use typeclasses for types that can be encoded and decoded by typedefs. Backend:Haskell issues related to the haskell backed feature:enhancement Enhancements that do not affect core functionality
#188 opened Aug 25, 2019 by andrevidela
Haskell test on large Tuple segfaults code:tests newcomer:help wanted This issue needs a new pair of eyes status:bug
#183 opened Aug 20, 2019 by andrevidela
elba repl fails build:elba newcomer:help wanted This issue needs a new pair of eyes
#181 opened Aug 20, 2019 by marcosh
3
Add a "syntax AST" for typedefs code:syntax feature:new Issues for brand new features
#175 opened Aug 12, 2019 by andrevidela Syntax improvements
1
9
Haskell backend: Use module name to scope constructors to avoid conflicts Backend:Haskell issues related to the haskell backed feature:enhancement Enhancements that do not affect core functionality
#173 opened Aug 11, 2019 by andrevidela Refactoring for new backends
Haskell backend generates wrong case patterns when using lowercase typedef names Backend:Haskell issues related to the haskell backed newcomer:beginner-friendly Good to get started with Typedefs status:bug
#171 opened Aug 11, 2019 by andrevidela Refactoring for new backends
Do not generate typedefs for type which share the same name as a specialized type Backend:Haskell issues related to the haskell backed feature:enhancement Enhancements that do not affect core functionality
#169 opened Aug 9, 2019 by andrevidela Specialisation improvements
Open up specialization API for user-defined types feature:new Issues for brand new features
#167 opened Aug 6, 2019 by andrevidela Refactoring for new backends
Implement specialized types for the Haskell backend Backend:Haskell issues related to the haskell backed
#166 opened Aug 6, 2019 by andrevidela
1 of 7 tasks
Specialization Release
1
Remove debrujin index from the user-facing language code:syntax
#164 opened Jul 30, 2019 by andrevidela Syntax improvements
1
ProTip! Adding no:label will show everything without a label.