Hey, I am curious if the source of demos you have ...

# arrow-meta

[shikasd]

Hey, I am curious if the source of demos you have presented on Kotliners (or similar) is available somewhere, would be amazing to check it out!

[stojan]

https://kotlinlang.slack.com/archives/C5UPMM0A0/p1591779090262200?thread_ts=1591778856.262100&cid=C5UPMM0A0

[shikasd]

thanks 🙂

[raulraja]

heads up the IDE features are currently being reworked by @danieeh so what you see in master may not be that accurate in a few days. @danieeh when you have some time would you mind sharing in this channel the video progress updates of the IDE proofs features? Thanks!

[danieeh]

yeah, will do! still need to improve a few things before sharing it 🙂

[shikasd]

No worries, I am more interested in the compiler part anyways 😄