[02:43:45]
<valexey>
хы http://blog.adacore.com/introducing-libadalang