emeinhardt
emeinhardt
I'd love to see `closh` available via the `nix` package manager. In the meantime, could the README be updated with instructions on how to use `default.nix`?
**Describe the bug** iHaskell notebooks launched using `jupyterWith` yield errors when I attempt to print Unicode. **To Reproduce** 1. Follow instructions in the `jupyterWith` README to set up a repository...
The documentation for [custom themes](https://github.com/sharkdp/bat#adding-new-themes) says: > This works very similar to how we add new syntax definitions. The documentation for [new syntax definitions](https://github.com/sharkdp/bat#adding-new-syntaxes--language-definitions) says: > `bat` uses the excellent...
### Current Behavior I have followed [the documented example here](https://jupyenv.io/documentation/how-to/#python-kernel-with-poetry) and `poetry` fails when attempting to generate a lock file. ### Expected Behavior The tutorial example should work out of...
We are getting very close to releasing the next version of jupyterWith. I believe you will be able to access the kernels in a python environment then. _Originally posted by...
Per @jwaldmann 's comment in #79 , this adds a unary ("bitmap") representation for finite sets and does so by extending existing functionality in `Ersatz.Relation`: ```haskell newtype Set a =...
This PR adds properties and operations for modeling functional relations to `Ersatz.Relation`. With respect to #78, where #78 uses `error` when two argument relations have mismatched bounds, the functions here...
Per the title, adds a module full of properties related to order-theoretic structures for use with homogeneous binary relations; generally the minimal structure where the definitions make sense is a...
Could you explain the design behind `Control.Category.Constrained.Reified` — what use cases you have in mind and what salient alternatives are? My context for asking is that 1. I am used...
How would you suggest defining `foldMap` for a type-aligned list ("value of the free category over some `p a b`"), given the definitions below? ```haskell {-# LANGUAGE UnicodeSyntax #-} {-#...