4 commits

Author	SHA1	Message	Date
Tyler Mandry	7ac35eaa12	chalkify: Implement Rule Implied-Bound-From-Trait	2018-04-06 13:05:45 -05:00
varkor	7791995ad5	Add unit test for Implemented-From-Env	2018-03-20 15:23:54 +00:00
scalexm	04b228c3e2	Address niko's nits	2018-03-14 14:14:33 +01:00
scalexm	1271f0bd25	Add MVP for chalkification	2018-03-14 13:39:58 +01:00