idris-lang/Idris-dev

Issues

• Dead download link for idris-1.3.3-win64.exe

  #4924 opened a year ago by reneederer
  1

• List available operators

  #4923 opened a year ago by alexchandel
  0

• Incorrect behaviour when resolving associated type of an interface

  #4918 opened 2 years ago by casper-pragma
  0

• Cannot define recursive bound on associated type of an interface

  #4917 opened 2 years ago by casper-pragma
  0

• Test ffi008 fails with "multiple definition of `mystruct'"

  #4914 opened 2 years ago by bavier
  0

• Type checker confused by overloaded `fst` (or just a strange error message)

  #4905 opened 3 years ago by jendrikw
  0

• idris-1.3.3 fails with haskeline-0.8

  #4901 opened 3 years ago by juhp
  2

• Improve error message

  #4815 opened 3 years ago by szabi
  3

• Please update dependency upperbounds

  #4895 opened 3 years ago by ezzieyguywuf
  2

• Data.Primitives.Views.divides behaves odd with negative dividend

  #4899 opened 3 years ago by 1inguini
  0

• Lambda in place of Type

  #4898 opened 3 years ago by MilanKral
  1

• `pkg010` test output depends on version of optparse-applicative library used

  #4896 opened 3 years ago by bavier
  0

• Idris not located in terminal.

  #4893 opened 3 years ago by LWFlouisa
  0

• Installation from hackage fails with ghc 8.10.2 in cabal configuration step

  #4887 opened 4 years ago by andreasabel
  1

• Is there a color scheme for IntelliJ?

  #4890 opened 4 years ago by notooth1
  0

• in interfaces.rst, replace "brackets" by "parentheses"

  #4880 opened 4 years ago by andreas-roehler
  3

• Dependent constructor reproted as not strictly positive when in mutual block

  #4884 opened 4 years ago by uzytkownik
  1

• Totality check fails on simple structural recursion when it is not tail recusive

  #4883 opened 4 years ago by uzytkownik
  0

• Broken sections of custom operators starting with pipe '|', "expecting function name"

  #4879 opened 4 years ago by ulidtko
  0

• Compiler accepts DivBy with impossible

  #4867 opened 4 years ago by Riateche
  1

• Totality checker thinks simple function is total when it's not

  #4878 opened 4 years ago by wizeman
  1

• Types appear to match but fail

  #4877 opened 4 years ago by LaltonDundy
  4

• idris-1.3.3.tar.gz missing docs/

  #4875 opened 4 years ago by juhp
  1

• Problems with recvAll in Network.Socket contrib Library

  #4868 opened 4 years ago by FrederikVigen
  1

• parseInteger and parsePositive are incorrect on Int

  #4866 opened 4 years ago by Riateche
  0

• Idris eagerly selects incorrect concrete type when pattern matching

  #4865 opened 4 years ago by mb64
  0

• 8.8 compatible release on hackage?

  #4838 opened 4 years ago by locallycompact
  4

• Auto-implicit search fails with continuous data constructor parameter

  #4858 opened 4 years ago by xiaoyangzhuang
  0

• Interface resolution bug

  #4853 opened 4 years ago by nickdrozd
  0

• Application in type term not reduced in proof context, but reduced in goal

  #4847 opened 4 years ago by radoye
  0

• "cabal install idris" fails with dependency conflict errors

  #4845 opened 4 years ago by dgellow
  2

• W^X violation when attempting to run the REPL on OpenBSD

  #4843 opened 4 years ago by Kaiepi
  1

• failure to normalize type, but REPL knows better

  #4842 opened 4 years ago by dspivak
  0

• Parse error: can't use as-pattern in catchall clauses

  #4840 opened 4 years ago by gallais
  1

• stack-alt.yaml doesn't work with latest (2.1.3) Stack

  #4814 opened 4 years ago by Martin-F
  4

• Every involution is also an injection

  #4832 opened 4 years ago by Hirrolot
  0

• Names still do matter where they shouldn't

  #4833 opened 4 years ago by nicolabotta
  0

• INTERNAL ERROR: Unelaboratable syntactic form

  #4828 opened 4 years ago by troyowilliams
  0

• Megaparsec 8 support

  #4826 opened 4 years ago by felixonmars
  1

• Readthedocs not tracking Idris Github

  #4803 opened 4 years ago by martinbaker
  12

• Simple read from terminal failed

  #4822 opened 4 years ago by bmwant
  1

• Can't build 1.3.2 on windows

  #4821 opened 4 years ago by NickSeagull
  2

• Error installing Idris on Ubuntu 18.04

  #4819 opened 4 years ago by jamietallingbell
  3

• `impossible` keyword works but there is a valid case

  #4816 opened 4 years ago by worudso
  0

• Add chocolatey as a windows installation alternative into guide

  #4813 opened 4 years ago by KarlMae
  1

• Build failed with GHC 8.8

  #4807 opened 4 years ago by felixonmars
  7

• Issue of anonymous function

  #4809 opened 4 years ago by fortunewang
  0

• Using with in proofs

  #4802 opened 4 years ago by remexre
  0

• Patterns for :search that kick you out of :elab REPL

  #4800 opened 4 years ago by LaltonDundy
  2

• Bad syntax highlighting of .lidr files

  #4799 opened 4 years ago by nicolabotta
  4