Folkert de Vries 460b822caa Merge pull request #3501 from rtfeldman/derive-tag-union-encoding-gen ... Derive tag union encoding gen		2022-07-15 15:57:41 +02:00
..
docs	Use strict unification of vars in unspecialized lambda sets right now	2022-07-06 13:08:58 -04:00
src	Merge pull request #3501 from rtfeldman/derive-tag-union-encoding-gen	2022-07-15 15:57:41 +02:00
tests	Typecheck and compile opaque wrapping functions	2022-07-12 18:38:03 -04:00
Cargo.toml	Perfom derives from global derives module, not just symbol table	2022-07-13 08:47:36 -04:00