idris-community inigo issues

idris-community / inigo

Inigo: A Package Manager for Idris2

https://inigo.pm

MIT License

60 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Idrall.Parser ⇒ Idrall.ParserNew

#45 lizard-business closed 1 year ago
0
Split out markdown library?

#44 locallycompact opened 2 years ago
0
fix README & Dhall template

#43 arsdragonfly opened 2 years ago
0
Remove dependency on node

#42 Z-snails opened 2 years ago
1
Support for non-nodeJS backends

#41 ohad opened 2 years ago
4
Cannot build projects initialized from example templates

#40 JankaGramofonomanka opened 2 years ago
0
inigo init - misleading README

#39 JankaGramofonomanka opened 2 years ago
3
Mark instances as covering

#38 claymager closed 2 years ago
4
Missing minimum node version from README

#37 JankaGramofonomanka opened 2 years ago
4
idrall submodule points to a wrong commit

#36 JankaGramofonomanka closed 2 years ago
3
Add closing quote in shell command

#35 AlexDikelsky closed 2 years ago
0
Update idrall to latest

#34 alexhumphreys closed 2 years ago
2
Add MIT license (per https://inigo.pm/about)

#33 IFcoltransG closed 2 years ago
2
can't find package idris2 when running make bootstrap

#32 dvc94ch opened 3 years ago
2
Templates

#31 Z-snails closed 3 years ago
0
format docs for idrall

#30 joelberkeley closed 3 years ago
1
Fix `HasDeps` instance for `Package`

#29 Z-snails closed 3 years ago
0
Add idrall dep to Inigo.toml

#28 alexhumphreys closed 3 years ago
5
Auto install idrall + latest idris2

#27 Z-snails closed 3 years ago
0
Add golden test framework

#26 alexhumphreys closed 3 years ago
2
Fix some README links

#25 alexhumphreys closed 3 years ago
0
Add `Inigo.dhall` config file

#24 alexhumphreys closed 3 years ago
0
Update for latest contrib Parser

#23 alexhumphreys closed 3 years ago
1
Update to latest idris2

#22 Z-snails closed 3 years ago
0
[ new ] Inigo repl command

#21 Z-snails closed 3 years ago
0
Setup continuous intergration

#20 Z-snails closed 3 years ago
2
Update readme

#19 Z-snails closed 3 years ago
0
"Can't find package idris2" on make bootstrap

#18 joelberkeley closed 3 years ago
3
Use 'depends' directory

#17 Z-snails opened 3 years ago
1
Update README with code-gen info

#16 alexhumphreys closed 3 years ago
0
[ new ] support for extra-deps

#15 Z-snails closed 3 years ago
0
[ fix ] Exec takes over input

#14 Z-snails closed 3 years ago
0
Various small fixes and improvements

#13 Z-snails closed 3 years ago
0
[ feature ] Support any codegen

#12 Z-snails closed 3 years ago
1
[ fix ] make it build

#11 Z-snails closed 3 years ago
1
At inigo.pm the github links to packages are broken

#10 vrescobar opened 3 years ago
0
Fix compiler breaking change

#9 andylokandy closed 3 years ago
0
Fix `make bootstrap` error & Fix broken links

#8 raptazure opened 3 years ago
0
lambdaRequire has been removed from Idris 2

#7 michaelmesser closed 3 years ago
3
inigo exec inserts input to stdin

#6 bbarker closed 3 years ago
2
Clarificaiton on relation between Inigo namespaces and Idris module names

#5 bbarker opened 3 years ago
3
Registration

#4 bbarker opened 3 years ago
1
Naming Conventions

#3 hayesgm opened 4 years ago
0
using inigo build

#2 bbarker closed 4 years ago
4
Updating directions based on my experience

#1 bbarker closed 4 years ago
0