Olivier Chéron 4926cbb143 Improve types and indentation, fix typo		2018-02-03 19:05:20 +01:00
..
KATCBC.hs	[tests] expands tabs, and remove redundant binding	2015-08-30 07:49:30 +01:00
KATCCM.hs	Improve types and indentation, fix typo	2018-02-03 19:05:20 +01:00
KATECB.hs	[tests] expands tabs, and remove redundant binding	2015-08-30 07:49:30 +01:00
KATGCM.hs
KATOCB3.hs
KATXTS.hs