Alissa Tung

Instructions for ArchLinux.

2

This is not a bug, but I thought is missing somewhere. Although ArchLinux had a patch on the default build scripts (enable `-dynamic`), there's still something worth mentioned on correspondence...

`:doc` should show types as they were written

4

# Steps to Reproduce ```idris data Issue : Nat -> Type where MkCons : (n : Nat) -> (0 p : n = 42) -> Issue n ``` # Expected...

Is there any proposal to add anything analogous to OCaml's `function` keyword or Haskell's `LambdaCase` extension?

5

In [there](https://rescript-lang.org/docs/manual/latest/pattern-matching-destructuring) ```rescript let optionBoolToBool = opt => { switch opt { | Some(trueOrFalse) => trueOrFalse | None => false } } ``` seems redundant. Since there is no need...

(libs) Re-design the hierarchy of standard-library.

1

FACTS: - There are some basic structures we use in every day programming activities or proof constructions, such as some basic algebraic structures (e.g. semigrp, monoid), higher-order functional vehicles (functor,...

(feat) Syntax for function applications in Record update operations.

3

Namely, when you try to update a filed using the previous (current) state with a given function `f`, just write `x{it $= f}`.

Add bootstrap for mtl-style libs.

3

Things left to do: - ~~specify implementations for type classes.~~ 3895fd7 - ~~auxiliary functions for Bifunctor.~~ f29ba18 - Gen, Error and RWST. - ~~compatible adjustments.~~ ee07171

[skip ci] dev-deploy: opts for `node_exporter`

1

# PR Description ## Type of change - [x] Bug fix ### Summary of the change and which issue is fixed Main changes: as ```shell docker run -d \ --net="host"...

impl HIP-7: Resource Naming Rules

1

# PR Description ## Type of change - [x] Bug fix - [x] Breaking change - [x] Documentation updates required ### Summary of the change and which issue is fixed...

[skip-ci] dev-deploy: YAML config

1

# PR Description ## Type of change - [x] New feature - [x] Documentation updates required ### Summary of the change and which issue is fixed Main changes: allowed YAML...