Carsten Csiky
Carsten Csiky
This PR adds support for rendering `.obj` files in stl-thumb. I think it would be nice to have the same aesthetic of the thumbnails for obj files as well. -...
When restoring the a nextcloud backup from a `.SeedVaultAndroidBackup` with data from a SeedVault backup, SeedVault crashes with "Failed to restore backup" (or sth. similar). Logcat shows the following: (Token...
ATM Ning only scans common ports, but not all. This PR adds the ability to scan all ports - [x] implement scanning - [ ] Report Progress to User -...
sth in Android Studio seems to have trouble with rendering vector graphics, which causes the png icons to look wrong
- previously we used a copy of Purescripts' Pretty Printer Code, as the necessary funktion was not exposed fixes #6
As of 0.14, the Proxy-Zoo should get reduced to just one: `Proxy`. This means that creating type-class instances for proxied values is no longer possible (as far as I know)...
This PR adds Type-Classes for Mirroring Symbols ("Test" ~> "tseT") and Snoc ("Tes" "t" ~> "Test"). These Type-Classes can be useful when parsing Symbols to Numbers. If this is to...
This PR adds a Typelevel Compare Type-Class, which can be used for comparing custom types (like Typelevel Numbers). The PR also adds helper classes like `Lte a b isLte`
Change the type of the package identifier from `Text` to `{user : Text, name: Text}`, where `user` is the github username and the `name` is the package name chosen be...