2 Commits

Author	SHA1	Message	Date
Gabriel Scherer	b103dc5241	test that we support higher-order functors	2021-09-08 18:20:54 +02:00
Gabriel Scherer	19255bce2c	split the test file into several testfiles	2020-12-12 12:04:37 +01:00