microproofs
|
f1cfc84e67
|
Fix tree traversal node selection for a few of the enum variants
|
2024-06-25 18:50:00 -04:00 |
|
microproofs
|
3d06129d9b
|
add test for curry optimization that is a reduced case of #945
|
2024-05-22 15:46:32 -04:00 |
|
microproofs
|
c1c2cd97b7
|
New test 103 and clippy fixes
|
2024-05-21 11:56:12 -04:00 |
|
KtorZ
|
6d7b851c70
|
Fix 077 after yet-another-breaking-change in stdlib.
|
2024-05-10 19:05:00 +02:00 |
|
microproofs
|
893e9c9855
|
activate test 75
|
2024-05-06 15:17:01 -04:00 |
|
KtorZ
|
967f4348ed
|
Add new acceptance test 101 capturing type mismatch at runtime.
|
2024-05-06 15:17:01 -04:00 |