scala-records
Labeled records for Scala based on structural refinement types and macros.
159 stars
19 watching
14 forks
Language: Scala
last commit: over 5 years ago scala-records Labeled records for Scala based on structural refinement types and macros.