koslambrou

Results 22 issues of koslambrou

Suppose I have to following table named `Test` in a SQLite database: | Id | Text | | --- | --- | | 1 | | | 2 | |...

Here's the error when running the following commands. ```bash % pypi2nix --version 2.0.4 % pypi2nix -V python36 -e rdflib INFO: pypi2nix v2.0.4 running ... INFO: Downloading wheels and creating wheelhouse...

Use case: Useful when trying to build a custom HTML/CSS to render. When wanting to use frameworks such as SemanticUI or Bootstrap, classes need to be added in HTML elements...

Here's self-containing example: ``` data MyEffect r where Execute :: MyEffect () makeEffect ''MyEffect handleFirstEffect :: (LastMember IO effs) => MyEffect ~> Eff effs handleFirstEffect = \case Execute -> liftIO...

My haskell project depends on other haskell projects which are not in hackage, and are download in `dist-newstyle` when doing `cabal build`. After downloading `codex`, and running `codex update` on...

Updated the plutus-apps dependency to v1.0.0-rc1 in preparation for the Vasil HF.

I followed the HDI installation procedure, but cannot complete it. After running the command `./scripts/install-dependencies.sh`, there seems to be an error (404 Not Found) when fetching the qt dependency. I...

By combining `asciinema` and `tmux`, it is possible to do multiple screen terminal capture. See this: https://gist.github.com/worldofprasanna/1861b182103cef452ec58471679a7e5b In short, you can specify the command that is going to be recorded...

I use NixOS. As `relaxed` is not packaged in `nixpkgs`, I attempted to install it using `npx` with: ``` npx --package=relaxedjs ``` That part works. However, when I tried running...

As a `cardano-ledger-api` user, I want it to expose the public API for working with protocol parameters. We should * [x] - create the module `Cardano.Ledger.Api.PParams` * [x] - expose...

api-v1