Edwin Brady d6e637b2c5 Fix structural difference check in search ... Now it successfully finds zipWith too		2019-06-02 15:16:54 +01:00
..
ttimp	Fix structural difference check in search	2019-06-02 15:16:54 +01:00
Main.idr	Store number of locals in holes	2019-06-02 01:23:01 +01:00
Makefile	Added test framework (copied from Blodwen)	2019-05-07 10:43:02 +01:00