3 commits

Author	SHA1	Message	Date
Mark Rousskov	2a663555dd	Remove licenses	2018-12-25 21:08:33 -07:00
scalexm	eacebf24b0	Pretty print quantified goals and clauses	2018-11-13 12:28:43 +01:00
scalexm	796ded2dfd	Add tests for WellFormed-Type and FromEnv-Type rules	2018-06-07 14:45:09 +02:00