Menu
https://www.facebook.com/dmitry.mitin
2nd training on Shapeless https://www.facebook.com/events/201770184407910/
Training on macros https://www.facebook.com/events/219678969175044/
Training on Shapeless and type-level programming in Scala in Kyiv, Ukraine https://dou.ua/calendar/31318/
AUXify -- library for metaprogramming (introducing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax) https://github.com/DmytroMitin/AUXify
MOOC "Introduction to programming with dependent types in Scala (2019)" https://stepik.org/course/49181
Former version: https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294
