letrec
letrec
Provide opam package to make it easier to experiment with the language.
### Pre-Check ### Can't find this bug being previously reported ### Environment ### - Add the result of `rebar3 report` to your message: Rebar3 report version 3.18.0 generated at 2022-06-19T12:51:27+00:00...
**Describe the bug** I have a breakpoint in the project which doesn't get hit even though the corresponding code gets executed and VS Code hangs initially. **To Reproduce** I rebar3ized...
- aiopg version: 1.2.1 - PostgreSQL version: 12.7 - Python version: 3.8 - Platform: Linux - Did you install aiopg with pip?: Yes I have a server application where after...
I'm trying to invoke a function with a signature like this: ``` CREATE OR REPLACE FUNCTION "ns"."test"(p1 "ns"."my_type"[]) ``` It results in the following exception being raised: ``` Traceback (most...
It would be great if it was possible to pass a dumps function to setup_aiohttp_apispec that should be used in https://github.com/maximdanilchenko/aiohttp-apispec/blob/master/aiohttp_apispec/aiohttp_apispec.py#L97 to serialize swagger dict. That would enable usage of...
https://github.com/leanprover/logic_and_proof/blob/master/natural_deduction_for_propositional_logic.rst#L432 "or from applying the **or-elimination** rule to C and C → A" - is it supposed to be "or from applying the **implication-elimination** rule to C and C →...
It would be nice if this `"lean.executablePath": "${env:USERPROFILE}\\.elan\\bin\\lean.exe"` worked. Currently have to specify absolute path like this: `"lean.executablePath": "C:\\Users\\user\\.elan\\bin\\lean.exe"`.
`uv pip install -e` creates a dist-info entry in site-packages, which python -m pip does not seem to do. uv venv --python 3.10 --no-python-downloads --link-mode hardlink source .venv/bin/activate uv pip...
I'd like to implement my own CursorIterator, but I can't find a straightforward way of getting it done via asyncpg public interface. Currently it's created by CursorFactory, which in turn...