Kasey

Use an integer format that supports any integer.

1

Currently we use isize or might use i64 and usize or u64 for integers. Instead we should use a Vec to hold integers and perform large number calculations in chunks...

The last bit of recursion we have is in the discharge value and discharge value env functions. To have a truly good performance with evaluate we should remove any recursion...

and simple functions

This PR separates out pairs from 2 tuples in Aiken. This removes confusion for different encodings of tuples based on length. This also allows for the user to flexibly choose...

#### What Git revision are you using? #### What operating system are you using, and which version? - [x] Linux / Ubuntu - [x] Linux / Other - [x] macOS...

LSP type info on hover shows type of result instead of expression when using backpassing

1

#### What Git revision are you using? 1.0.26 #### What operating system are you using, and which version? - [x] Linux / Ubuntu - [x] Linux / Other - [x]...

#### What Git revision are you using? Latest main #### What operating system are you using, and which version? - [ ] Linux / Ubuntu - [ ] Linux /...


Here's a knights tour algorithm copied from Plutus benchmarks

always_true should use discard to prevent type validation on params added gift example