https://kotlinlang.org logo
#language-proposals
Title
# language-proposals
e

elect

03/07/2017, 3:36 PM
how would you do that for the
div
, @robin ?