Evan Hubinger

Potentially just add a `meta` expression that gets evaluated at compile time and the result inlined. The code ``` meta() ``` could inline the result of evaluating ``` () |*>...

Relies on #94, since we want to be able to guarantee that `enumerate` actually is Coconut's enumerate.

@cgarciae That would definitely be doable. The tests right now include this definition of Maybe: ```python data Nothing(): def __call__(self, *args): return Nothing() def __eq__(self, other): match Nothing() in other:...

@cgarciae Well, the other option is that the newest version did add an `fmap` function; take a look at:

@cgarciae Possibly. The only case that isn't covered by `*args` and `**kwargs` is initializing the `data` type based on local/global variables. With `*args` you can use a list, and with...

The solution for this is #73. I've been aware of this issue for a while, but it turns out that fixing it is a lot more difficult than you would...

Also duplicates #31. I think I'm just going to consolidate everything into this issue.

@Toseef99 From the looks of it, this repo was written in Python 2, not Python 3; you will fix this and many other errors trying to run this repository if...

Not currently, no. You can print out theorems, but they'll just be formatted like a statement in first-order logic, not a tree diagram.

I fiddled with `setuptools`/`pip`/`wheel` versions a bit and the error seems to be gone now, though I'm not exactly sure what I changed. `setuptools==59.4.0` seems to work best, though I...