microproofs eb37ed0da5 Clippy fix		2024-09-20 13:47:56 -04:00
..
aiken	chore: Release	2024-09-13 16:52:20 -04:00
aiken-lang	Fix incorrect warning about unused variable when softcasting without explicit right-pattern.	2024-09-20 15:09:00 +02:00
aiken-lsp	chore: Release	2024-09-13 16:52:20 -04:00
aiken-project	Add test for hard cast and soft cast on same type	2024-09-19 23:48:06 -04:00
uplc	Clippy fix	2024-09-20 13:47:56 -04:00