Joel Berkeley

Add installation instructions

3

Can we have installation instructions in the root README? I'm not sure if this is the same problem or I need a separate issue, but `make build` gives ``` Error:...

Parametrised Callable allowed only when used as type alias

11

I've found a case where a `Callable` is not allowed when used directly, but is allowed if used as an alias ```python from typing import TypeVar, Callable T = TypeVar('T')...

add `dflip`, a dependent version of `flip`

11

This came out of https://github.com/idris-lang/Idris2/issues/2589. I thought, since @buzden gave it a 👍🏻 I'd see if there was wider support for it I'm very aware this is in one of...

I regularly come across "Ambiguous elaboration", followed by a number of options. When I disambiguate to each of these options, only one type checks. I would consider this a bug...

Flexible and lightweight specification of modules

1

- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary Allow developers to specify which modules to include...

Argument to partially applied function moved outside parentheses in idiom brackets

1

# Steps to Reproduce Given ```idris export interface Primitive dtype => LiteralPrimitiveRW dtype ty where set : Literal -> List Nat -> ty -> IO () get : Literal ->...

refactor README and installation instructions

2

I've been looking at doing a good overhaul of the docs, to * make it easier for newcomers * reduce duplication and wanted to get early feedback. Do be completely...

As a user of the stdlib, it would be really nice if there was one unambiguous online source of the stdlib API reference. Since there is a release version and...

Mention in the docs that `Foo =>` is `{auto _ : Foo} ->`

6

This is asked so many times in discord that I reckon it should be really obvious in the docs. I can't do that right now so am making an issue...

Is `min` implementation correct for nan?

2

# Observed Behavior ``` Main> min (0.0 / 0.0) 1.0 1.0 ``` # Expected Behavior ``` Main> min (0.0 / 0.0) 1.0 +nan.0 ``` This might be because the default...