Fedor Isakov 947f9523bd Fix language imports.		2019-06-07 09:16:21 +02:00
..
samples.lambdacalc.build	Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.	2019-06-05 16:15:59 +02:00
samples.lambdacalc.demo	Fix language imports.	2019-06-07 09:16:21 +02:00