2nd training on Shapeless Training on macros Training on Shapeless and type-level programming in Scala in Kyiv, Ukraine AUXify -- library for metaprogramming (introducing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax) MOOC "Introduction to programming with dependent types in Scala (2019)" Former version: ©