3 Commits

Include renames

Author	SHA1	Message	Date
Ulf Norell	6fd39d4cb1	Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM)	2019-08-30 11:18:20 +02:00
Ulf Norell	46a996ead8	Update test case	2019-08-05 09:20:09 +02:00
Radosław Rowicki	045df292be	Fixed pretty printing and pattern split (#111)	2019-07-29 14:27:01 +03:00