Issues

• Split out markdown library?

  idris-community/inigo#44 · Filter by author locallycompact opened on Jul 23, 2022
  1

• Support for non-nodeJS backends

  idris-community/inigo#41 · Filter by author ohad opened on Dec 6, 2021
  4

• Cannot build projects initialized from example templates

  idris-community/inigo#40 · Filter by author JankaGramofonomanka opened on Nov 30, 2021

• inigo init - misleading README

  idris-community/inigo#39 · Filter by author JankaGramofonomanka opened on Nov 26, 2021
  3

• Missing minimum node version from README

  idris-community/inigo#37 · Filter by author JankaGramofonomanka opened on Nov 10, 2021
  4

• can't find package idris2 when running make bootstrap

  idris-community/inigo#32 · Filter by author dvc94ch opened on Sep 11, 2021
  2

• Use 'depends' directory

  idris-community/inigo#17 · Filter by author Z-snails opened on Jul 19, 2021
  1

• At inigo.pm the github links to packages are broken

  idris-community/inigo#10 · Filter by author vrescobar opened on Mar 4, 2021

• Clarificaiton on relation between Inigo namespaces and Idris module names

  idris-community/inigo#5 · Filter by author bbarker opened on Sep 30, 2020
  3

• Registration

  idris-community/inigo#4 · Filter by author bbarker opened on Sep 28, 2020
  1

• Naming Conventions

  idris-community/inigo#3 · Filter by author hayesgm opened on Sep 21, 2020