用于Idris的实验性Google Go后端，动机是改进我的Haskell和Idris，并学习Go。部分功能与Go的交互以及通过cgo与C轻松互操作。支持UTF-8的回调功能，但尚未完全优化。性能接近C后端速度，表现非常出色。Go编译速度快，非常适合作为语言后端。Go有一个不断改进的性能良好的GC，内置unicode支持和标准的lib big int支持。这些特性在后端使用中变得非常方便。Go的反射特性被充分利用，使得事情变得简单。此后端无需使用Go的第三方库，大多数官方的Idris测试均成功运行，并包含UTF-8支持，能够输出“βγδ”，而C后端暂时无法做到。