The Wayback Machine - https://web.archive.org/web/20200804111744/https://github.com/arrow-kt/arrow-meta/pulls
Skip to content

/ arrow-meta

New pull request New
14 Open 445 Closed
14 Open 445 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Refactor coercion annotators to replace coercion local inspections
#717 opened Jul 20, 2020 by danimontoya • Review required
1
6
Revisiting annotations, foldingBuilder, inspection and line marker tests
#714 opened Jul 16, 2020 by danimontoya • Review required
8
Add/Update messages for refined line markers
#712 opened Jul 14, 2020 by danimontoya • Review required
1
Upgrade to 1.4.0-rc
#706 opened Jul 7, 2020 by rachelcarmena • Draft 5 of 6
1
Add proof resolution
#683 opened Jun 20, 2020 by i-walker • Draft 4 of 8
1
Typed Quotes
enhancement
#679 opened Jun 18, 2020 by bloderxd • Review required
@bloderxd
2
Add Proof references
#666 opened Jun 10, 2020 by i-walker • Draft
Pattern matching
Pattern Matching
#651 opened May 29, 2020 by mattmoore • Draft
1
@mattmoore
3
Meta extension for KtCallExpression.
AST-scope
#648 opened May 28, 2020 by mattmoore • Draft
@mattmoore
[WIP] proof-of-concept to let find usages show implicit method calls of the proof system
#647 opened May 28, 2020 by jansorg • Review required
3
Adds remote CSS support for LineMarkers
#600 opened May 4, 2020 by JorgeCastilloPrz • Draft
2
Meta Localization for Coercions features
#599 opened May 4, 2020 by danimontoya • Review required
15
we can use named functions as SyntheticElement
#440 opened Feb 12, 2020 by matiaslev • Review required
1
[WIP] Add Functor API to ElementScope
#173 opened Nov 18, 2019 by pt2121 • Draft
1
ProTip! Follow long discussions with comments:>50.
You can’t perform that action at this time.