Thomas Honeyman 6ce52417f7 Migrate from purty to purs-tidy (#178) ... * Replace purty with purs-tidy * run purs-tidy		2021-11-06 12:37:31 -07:00
..
HTTPure	Migrate from purty to purs-tidy (#178)	2021-11-06 12:37:31 -07:00
Main.purs	Migrate from purty to purs-tidy (#178)	2021-11-06 12:37:31 -07:00