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