2 commits

Author	SHA1	Message	Date
Leonardo de Moura	898a08a0c1	chore: avoid Has prefix in type classes ... closes #203	2020-10-27 18:29:19 -07:00
Leonardo de Moura	f25554baa7	test(tests/playground/parser): multiple targets	2019-04-04 10:50:34 -07:00