gdris

A toy gopher client written in Idris2

git clone https://git.8pit.net/gdris.git