![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Implicit types (dotty)
Aug. 14th, 2017 12:15 amhttps://infoscience.epfl.ch/record/229878/files/simplicitly_1.pdf
includes examples for final tagless & free monads
https://gist.github.com/OlivierBlanvillain/48bb5c66dbb0557da50465809564ee80
includes examples for final tagless & free monads
https://gist.github.com/OlivierBlanvillain/48bb5c66dbb0557da50465809564ee80
