Awesome
<div align="center"> <img width="450" src="https://github.com/AccelerateHS/accelerate/raw/master/images/accelerate-logo-text-v.png?raw=true" alt="henlo, my name is Theia"/>gloss-accelerate
</div>Extras to help interface gloss and Accelerate. Refer to the main repositories of each project for more information.
Contributions and bug reports are welcome!<br> Please feel free to contact me through GitHub or gitter.im.