Here are the artifacts for a talk I did at JCConf 2020. Yop can find all the sample code here along with the presentation slides. Enjoy!
scalavision / tlp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from weihsiu/tlp
Type-Level Programming in Scala 3