4 commits

Author	SHA1	Message	Date
Nick Cameron	0fae34dfa1	Don't ignore universal quantification in function types ... Fixes #1006	2016-05-27 15:09:04 -07:00
Nick Cameron	eadc878de0	Handle variadic function types ... Closes #842	2016-04-12 10:47:35 +12:00
Marcus Klaas	ca023ba9b7	Format some patterns	2015-10-19 20:15:36 +02:00
Marcus Klaas	01937061a9	Format more type variants	2015-10-17 16:05:59 +02:00