Danila Danko

Switch to GHC with JS backend

2

We currently use GHCJS 8.6.0.1 from the miso repo ([link](https://github.com/rzk-lang/rzk/blob/e4700d25f8b35f1b23016408eb52fdda16690b80/flake.nix#L5)). It seems to be possible to use GHCJS 8.10 ([link](https://github.com/serokell/nixfmt/blob/422b1aebb44c4f12af025eda0ee6a99c6e50d738/flake.nix#L48-L59)). However, there may be issues with build time and bundle...

Create a cachix cache

3

Currently, for ghcjs builds, we use the `miso-haskell` binary cache provided by cachix. In https://github.com/rzk-lang/rzk/pull/126, I updated several tools, which led to cache misses. Therefore, I suggest to create a...

feat(cache): support passing extra tar args

4

## Usecase In `cache-nix-action`, I exclude some files when restoring a cache ([link](https://github.com/nix-community/cache-nix-action/blob/4284df42cb6d492efb1a32aeb325a95a7b1a2260/src/utils/action.ts#L100-L112)). ## Security IDK if this change can introduce potential vulnerabilities. ## TODO - [ ] Insert arguments...

Fix: no top-level lamdba package in generated PHI programs

5

## Problem When a formation has a `λ ⤍ Package`, the `normalizer` dataizes formations in sibling bindings. Otherwise, the `normalizer` doesn't dataize formations in sibling bindings. However, there's no top-level...

Improve `unphi`

2

I want to be able to run `unphi` - on a given file - or, all files from a given directory - without having to get `.eoc` from somewhere I...

Hi, @MikeMirzayanov, @gsingh93, @Wizmann, @glamcoder! Me and [some folks](https://codeforces.com/blog/entry/102006) on Codeforces would love to see `V` language support! That's why, I made a binary heap benchmark for `V` [here](https://github.com/br4ch1st0chr0n3/vforces#binary-heap-benchmark). On...

upd for purescript 0.15

1

Hi! I learned recently that visible type applications were added to PureScript ([changelog](https://github.com/purescript/purescript/commit/1e4e0f248cb0f16b15f72892d585974f662a7f4d), [PR](https://github.com/purescript/purescript/pull/4436)) and decided to bring them into this library. So, `@someType` now doesn't mean a proxy as...

Closes #15 (hopefully) - apply [autoprefixer](https://autoprefixer.github.io/)

generic-lens and large-anon

1

Hi! Is it possible to use `generic-lens` with `large-anon`? I want something like ```haskell import Control.Lens ((&), (*~)) import Data.Generics.Labels () import Data.Record.Anon import Data.Record.Anon.Overloading import Data.Record.Anon.Simple magenta :: Record...

Check roundtrip serialization and deserialization

5

I implemented a generator of a TypeScript class with other nested classes. Next, I created a test that runs `toJSON` and `fromJSON` on an object of that class. I noticed...