gdris

A toy gopher client written in Idris2

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

 1package gdris
 2
 3modules =
 4	Gopher,
 5	Parser,
 6	Client,
 7	Menu,
 8	Gdris
 9
10depends = contrib, network
11sourcedir = "src"
12main = Gdris
13executable = gdris