All issues

Search results

First class byte array support

Feature request

Status: Open.

#378 In edwinb/Idris2-boot;

· Riateche opened on May 15, 2020

Build error: Can't disambiguate name: Main.yprefix, YafflePaths.yprefix

Installation IssueProblem compiling or running IdrisProblem compiling or running Idris

Status: Open.

#375 In edwinb/Idris2-boot;

· LeifW opened on May 15, 2020

Can't pass argument of type %World to foreign function

Status: Open.

#368 In edwinb/Idris2-boot;

· mokshasoft opened on May 12, 2020

linear lambda claims to consume unrelated binder

Status: Open.

#364 In edwinb/Idris2-boot;

· MarcelineVQ opened on May 11, 2020

case-split fails on private definition in nested namespace

Confirmed bugSomething isn't workingSomething isn't working

Status: Open.

#363 In edwinb/Idris2-boot;

· MarcelineVQ opened on May 10, 2020

Multiplicity subtyping with dependent types can break linearity

Status: Open.

#357 In edwinb/Idris2-boot;

· KyleDavidE opened on May 8, 2020

Interface resolution bug

Status: Open.

#356 In edwinb/Idris2-boot;

· nickdrozd opened on May 6, 2020

Proof search produces ill-typed terms

Status: Open.

#355 In edwinb/Idris2-boot;

· ziman opened on May 6, 2020

Incorrect reduction of pattern matching

Status: Open.

#346 In edwinb/Idris2-boot;

· ziman opened on May 2, 2020

Issue with hints and search space: Can't find implementation

Status: Open.

#344 In edwinb/Idris2-boot;

· wurmli opened on Apr 30, 2020

'addclause' client command fails to produce a meaningful definition for helpers under 'where' blocks

Status: Open.

#341 In edwinb/Idris2-boot;

· rgrover opened on Apr 29, 2020

Implicits in Interface Functions cause Typecheck Error

Status: Open.

#336 In edwinb/Idris2-boot;

· fabianhjr opened on Apr 29, 2020