agda2forth: An Agda backend for GForth

This is a work in progress on compiling Agda to GForth. While the compiled code may run for other Forth implementations, this compiler was designed with GForth in mind.