issues
search
edwinb
/
Idris2-boot
A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902
stars
58
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Automated Documentation generation from source code.
#295
jeetu7
opened
4 years ago
1
Browsable source code
#294
jeetu7
opened
4 years ago
5
Refactoring code as I read through it
#293
gallais
closed
4 years ago
0
Fully abstract records
#292
ohad
closed
4 years ago
6
Named Implementations aren't found by other Implementations with using clause
#291
fabianhjr
closed
4 years ago
5
Refactor Parser.Lexer.{ident, OpCode} for reuse in IDEMode
#290
fabianhjr
closed
4 years ago
3
problem with Prelude
#289
vfrinken
opened
4 years ago
10
"record {elem_name} record_name" to access elements in a record
#288
vfrinken
opened
4 years ago
5
Fix Idris1 download link
#287
Porges
closed
4 years ago
1
RFC: "Text-TT" textual s-expression format for compiled expressions
#286
evertedsphere
opened
4 years ago
5
chez010 test fails with libcb.so cannot open shared object file
#285
locallycompact
opened
4 years ago
5
use quotient on scheme backends
#284
abailly
closed
4 years ago
5
RFC: Add mathematical/arrows unicode operator support
#283
fabianhjr
opened
4 years ago
5
provide building blocks for binary network I/O
#282
abailly
closed
4 years ago
5
Fix cast to integral types
#281
ziman
closed
4 years ago
8
[ fix #279 ] comment delimiters with more than one dash
#280
gallais
closed
4 years ago
0
Delimiters of comments are not properly detected
#279
vfrinken
closed
4 years ago
2
Add option to dump CompileExpr in a standard, parseable format
#278
evertedsphere
opened
4 years ago
2
Latest rtd theme for docs
#277
jeetu7
closed
4 years ago
1
JavaScript backend
#276
maxdeviant
opened
4 years ago
7
Missing functionality: impossibility assertions in pattern-matching anonymous functions
#275
vfrinken
opened
4 years ago
4
Fix some typos in the tutorial
#274
ska80
closed
4 years ago
1
Added a travis badge because it's good to have badges...
#273
jfdm
closed
4 years ago
2
Add equality functions for Vectors of potentially different lengths.
#272
jfdm
closed
4 years ago
1
Bugfix #269
#271
ohad
closed
4 years ago
1
[ refactor ] Avoid lookup + insert in IntMap's mergeWith
#270
gallais
closed
3 years ago
6
Record, parameters, interface, and implementation declarations ignore `%unbound_implicits off`
#269
ohad
closed
4 years ago
2
[ new ] interactive test runner
#268
gallais
closed
4 years ago
3
Build failing when linking libidris_rts in MSYS2 MinGW64 terminal
#267
ahribellah
opened
4 years ago
0
WSL1 install error
#266
ice1000
opened
4 years ago
3
fix typo in docs/tutorial/typesfuns.rst
#265
then0rTh
closed
4 years ago
1
INTERNAL ERROR: build/ttc/Test.ttc: File Not Found
#264
gallais
opened
4 years ago
0
"Undefined name filter"
#263
Pytheas01
opened
4 years ago
1
Conditional compilation
#262
Hirrolot
closed
4 years ago
2
Resugar `Nat` literals
#261
gallais
closed
4 years ago
1
Update Idris prompt in the tutorial
#260
ska80
closed
4 years ago
0
A little cleanup
#259
gallais
closed
4 years ago
1
"Can't find an implementation for Range Type"
#258
Pytheas01
opened
4 years ago
2
Irrelevant definitions are not accessible from REPL :t
#257
ohad
closed
4 years ago
2
[ performance ] rewrite-free concatMap
#256
gallais
closed
4 years ago
7
Don't clobber CWD in `--exec`
#255
ziman
closed
4 years ago
2
Enhance literate mode to recognise multi-modes.
#254
jfdm
closed
4 years ago
13
[ fix ] properly nesting multiline comments
#253
gallais
closed
4 years ago
1
[ cosmetic ] cleanup trailing whitespace + typos
#252
gallais
closed
4 years ago
0
Show a hint for help on the banner
#251
ska80
closed
4 years ago
1
Fix runtime error in `the Int (cast "")`
#250
ziman
closed
4 years ago
4
AddClause does not not generate a correct clause for operators
#249
petithug
opened
4 years ago
0
AddClause on an interface implementation adds only one clause
#248
petithug
opened
4 years ago
0
AddClause does not indent the clauses of an interface implementation
#247
petithug
opened
4 years ago
0
Idris always use <file>.idr instead of <file>.lidr
#246
petithug
opened
4 years ago
3
Previous
Next