Closed ShalokShalom closed 5 years ago
You can bet that the latest git master will be pretty stable since we use it all the time when developing Eta itself. There are several new features (particular dhall package format) that we are looking at stabilizing before cutting a release.
Thanks a lot
Hi :hugs:
Is currently the git master recommended or the last officially released build?