12 commits

Author	SHA1	Message	Date
Folkert	13b05e54e8	Merge remote-tracking branch 'origin/clippy-1.54' into alias-nominal-equality	2021-07-30 14:25:50 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert	27c3d57e35	BROKEN	2021-07-29 17:22:25 +02:00
Chadtech	38ef2a915a	Only render exposed values	2021-06-27 20:24:05 -04:00
Folkert	48f392f372	fix bad test examples using unbound type alias variables	2021-05-05 19:54:10 +02:00
Folkert	61ffe687ce	introduce LambaSet variables	2021-05-05 13:54:21 +02:00
Folkert	b5c7c26978	SendMap -> MutMap	2020-12-26 18:12:43 +01:00
Folkert	2ef7072247	change type of exposed_vars_to_symbol	2020-12-26 17:46:15 +01:00
Folkert	6209adbd5c	remove dead code	2020-12-26 17:05:01 +01:00
Folkert	7f1dd80392	hook up size inference, WIP	2020-10-14 22:55:25 +02:00
Folkert	ed592d3d10	refactor solve_module	2020-10-14 22:28:53 +02:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00