KtorZ a89694ed75 Use less vertical space for type-constructor hint; ... Also, show it actually for UnknownTypeConstructor, and not UnknownVariable. There's currently an error that wrongly assign an 'UnknownVariable' in place where it should be an 'UnknownTypeConstructor'. Fix coming in the next commit. Signed-off-by: KtorZ <matthias.benkort@gmail.com>		2025-02-22 17:52:21 +01:00
..
src	Use less vertical space for type-constructor hint;	2025-02-22 17:52:21 +01:00
Cargo.toml	chore: Release	2025-02-18 15:24:16 -05:00
build.rs	Adjust module organization to facilitate resurrection of the playground.	2024-08-29 09:12:37 +02:00