5 Commits

Author	SHA1	Message	Date
collin	0702e1f92f	update type assertions for new types	2020-10-14 17:10:51 -07:00
collin	a9b16cfaa8	update symbol table tests	2020-10-14 16:37:19 -07:00
collin	cc6cf4e6a5	add new dynamic check protocol	2020-10-13 09:06:52 -07:00
collin	d29d01f4ff	move types into new static-check module	2020-10-12 12:32:29 -07:00
collin	effdfc7628	add leo dynamic check module	2020-10-06 17:20:51 -07:00