Sridhar Ratnakumar

Add back M1 CI

1

Only garnix provides M1 CI for now. https://github.com/srid/haskell-template/commit/f80227073437afd0b173195e139cfefd01a21ce7

https://horizon-haskell.net/

Split into multiple packages

1

There should be: - `ema`: core functionality - `ema-generics`: generic deriving infrastructure for routes - potentially, in future, `ema-contrib`: extra functionality Wait for https://github.com/srid/haskell-flake/issues/7

How to use SVG types?

2

I see there is some SVG implementation in the library, but looking at https://github.com/stefan-hoeck/idris2-dom/blob/f717866b5e0e39b6bdaf33ee8f1c0d57f6617724/src/Web/Dom.idr#L294 there is no way to use `createElement` on SVG element types. Was this intentional? If so,...

The x86 version of Idris2 in nixpkgs is working, so we could use that in theory instead of doing native support. It would be great if the 'nix flake new'...

The current master branch no longer has code for this library, so refer to the actual commit hash.

Build PDF through Nix + Deploy to Github Pages

6

- Add a `flake.nix` => can use `nix build` to build the PDF locally. - This PDF in turn is deployed to Github Pages via Github Actions. The PDF built...

``` ❯ colmena eval -E '{ nodes, ... }: let cfg = nodes.fpindia-chat.config.deployment; in "${cfg.targetUser}@${cfg.targetHost}"' [INFO ] Using flake: git+file:///Users/srid/code/fpindia-chat "[email protected]" ``` A `--raw` that removes those wrapping quotes in...