Chase

## Is your enhancement request related to a problem? Please describe. HLS currently does not seem to support backpack. `.hsig` files. When using with VSCode, I get a parse error...

Assume column limit is set to 80 (the default). For a top level function that uses pattern matching- ```hs f (x:xs) = undefined f n@(x:y:z:rest) = undefined f (x:y:rest) =...

Port code to python 3

9

Python 2 has reached EOL and it's time for this repo to upgrade. I've been working on a basic port for awhile and I'd like to detail my approach- ##...

Vasil branch produces incorrect witnesses

8

It looks like the `vasil` branch of nami properly understands babbage era transaction (at least, the ones that have all the babbage era features set to use the `*None` constructors...

"Data Constructor not in Scope" when defining an operator function starting with `:`

3

Defining a function starting with `:` is invalid according to the parsing rules: ```hs f :< g = f . g ``` However, the error message here could see some...