arrow-kt/arrow-meta

Quote properties rename

Open

#107 opened on Nov 11, 2019

View on GitHub
 (2 comments) (0 reactions) (0 assignees)Kotlin (43 forks)github user discovery
enhancementgood first issue

Repository metrics

Stars
 (408 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

-`@annotationEntries`
+`@annotations`
-`(valueParameters)`
+`(params)`
-`(typeArguments)`
+`(typeArgs)`

Contributor guide