Jakob Schöttl 98d7c073c7 Reduce simple lambda		2019-02-09 12:47:24 -08:00
..
UI	Reduce simple lambda	2019-02-09 12:47:24 -08:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00