Search results

Split out markdown library?

Status: Open.

#44 In idris-community/inigo;

· locallycompact opened on Jul 23, 2022

Support for non-nodeJS backends

Status: Open.

#41 In idris-community/inigo;

· ohad opened on Dec 6, 2021

Cannot build projects initialized from example templates

Status: Open.

#40 In idris-community/inigo;

· JankaGramofonomanka opened on Nov 30, 2021

inigo init - misleading README

Status: Open.

#39 In idris-community/inigo;

· JankaGramofonomanka opened on Nov 26, 2021

Missing minimum node version from README

Status: Open.

#37 In idris-community/inigo;

· JankaGramofonomanka opened on Nov 10, 2021

can't find package idris2 when running make bootstrap

Status: Open.

#32 In idris-community/inigo;

· dvc94ch opened on Sep 11, 2021

Use 'depends' directory

Status: Open.

#17 In idris-community/inigo;

· Z-snails opened on Jul 19, 2021

At inigo.pm the github links to packages are broken

Status: Open.

#10 In idris-community/inigo;

· vrescobar opened on Mar 4, 2021

Clarificaiton on relation between Inigo namespaces and Idris module names

Status: Open.

#5 In idris-community/inigo;

· bbarker opened on Sep 30, 2020

Registration

Status: Open.

#4 In idris-community/inigo;

· bbarker opened on Sep 28, 2020

Naming Conventions

Status: Open.

#3 In idris-community/inigo;

· hayesgm opened on Sep 21, 2020