Tobias Dammers
Tobias Dammers
The `Geodetics.Path` module is great and super useful; one thing I would love to see there would be a `greatCirclePath` function that takes a lat/lon/alt point and an initial bearing,...
Particularly: - Adding entire folders / artists / albums to playlists (this one is the most important one for me) - Saving "Now Playing" list as new playlist (or adding...
Currently, clicking "back" in the browser will send you to whatever page had been loaded before mStream, discarding all unsaved mStream state (including the "Now Playing" list). The expected behavior...
It looks like Haddock does not see documentation attached to constructors of associated type instances, whereas it does see documentation attached to constructors of regular types. Example: ```haskell {-# LANGUAGE...
OS & device: Android 13, Google Pixel 4a. How to reproduce: - Open any two apps. - Open app list - Tap & hold one app icon - Select "Split...
Adds: - **Direct serialization/deserialization of KES sign keys:** we need this in order to send keys over network sockets without touching the GHC heap (which would violate mlocking protections). -...
As mentioned in https://github.com/input-output-hk/cardano-base/pull/365, some packaging problems currently go undetected in CI. Proposed fix: add an "sdist" step to the Haskell workflow, which runs `cabal sdist all` - this command...
Similar to key and seed sizes, define `TotalPeriodsKES` as a type-level `Nat`, and implement term-level `totalPeriodsKES` in terms of `natVal`.
For DSIGN algorithms that are available in both monadic mlocked (`class DSIGNM`) and pure (`class DSIGN`) flavors, add tests that make sure both implementations produce the same results. Specifically, we...
Add Cabal flags so that some features can be enabled / disabled at compile time, such as: - The shellout backend can pose security issues, so you may want to...