scala-records

Pinned Repositories

scala-records
Labeled records for Scala based on structural refinement types and macros.
Language:Scala159 18 6514
scala-records-benchmarks
Compile-time and run-time benchmark suite for scala-records.
Language:Scala0 2 00

scala-records's Repositories

scala-records/scala-records
Labeled records for Scala based on structural refinement types and macros.
Language:Scala159 18 6514
scala-records/scala-records-benchmarks
Compile-time and run-time benchmark suite for scala-records.
Language:Scala0 2 00