issues
search
stefan-hoeck
/
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
77
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ ci, fix ] Fix upstream fix repository expression getting
#78
buzden
closed
2 days ago
0
[ upstream ] fix elab for WithFC
#77
andrevidela
opened
2 days ago
2
[ error ] Refine error message of `lookupName` in one particular case
#76
buzden
closed
7 months ago
1
[ compat ] add export modifier to operator decls
#75
stefan-hoeck
closed
7 months ago
0
[ ci ] Add a check with a changed upstream for upstream PRs
#74
buzden
closed
1 year ago
1
[ upstream ] Adapt IData & examples to the presence of WithDefault
#73
Adowrath
closed
1 year ago
7
[ upstream ] ICase takes an extra argument
#72
gallais
closed
1 year ago
3
[ style ] fixed refined
#71
stefan-hoeck
closed
1 year ago
0
[ refactor ] generalize parameter handling
#70
stefan-hoeck
closed
1 year ago
0
[ new ] derive fromInteger
#69
stefan-hoeck
closed
1 year ago
0
[ refactor, breaking ] reduce fixity warnings in downstream projects
#68
stefan-hoeck
closed
1 year ago
0
[ fix ] ambiguity in elab-pretty
#67
stefan-hoeck
closed
1 year ago
0
[ fix ] more lambda operators
#66
stefan-hoeck
closed
1 year ago
0
[ fix ] deprecate lambda operator
#65
stefan-hoeck
closed
1 year ago
0
Revert PR #60
#64
ohad
closed
1 year ago
1
[ cleanup ] removed some dead code
#63
stefan-hoeck
closed
1 year ago
0
[ CI ] remove notify on fail
#62
stefan-hoeck
closed
1 year ago
0
Switch over to HVect alias in base.
#61
mattpolzin
closed
1 year ago
5
[ fix ] fixity conflict with Syntax.PreorderReasoning.Generic
#60
stefan-hoeck
closed
1 year ago
0
[ refactor, new ] all about pretty printing
#59
stefan-hoeck
closed
1 year ago
0
[ fix ] Necessary changes for PR #2816
#58
gallais
closed
1 year ago
4
[ new ] specify visibility of derived implementations
#57
stefan-hoeck
closed
1 year ago
0
[ breaking ] Overhaul of `TypeInfo` and deriving of some interfaces
#56
stefan-hoeck
closed
1 year ago
1
[ new ] some utilities for working with constructors
#55
stefan-hoeck
closed
2 years ago
0
[ new ] Named interface
#54
stefan-hoeck
closed
2 years ago
0
Fix misc. typos, indentation, missing words, etc.
#53
CodingCellist
closed
2 years ago
1
[ refactor ] index Con over number of type args
#52
stefan-hoeck
closed
2 years ago
0
[ test ] Setup a simple test suite
#51
stefan-hoeck
closed
2 years ago
0
[ re #49 ] Update 'start here' link in README
#50
CodingCellist
closed
2 years ago
1
[ fix ] idris CI regression
#49
stefan-hoeck
closed
2 years ago
1
[ pretty ] some doc strings and modified pretty printing
#48
stefan-hoeck
closed
2 years ago
0
[ refactor ] proper pack setup
#47
stefan-hoeck
closed
2 years ago
2
[ fix ] Records now can have DataOpts
#46
gallais
closed
2 years ago
2
adjust to latest idris version
#45
Z-snails
closed
2 years ago
2
[ upstream ] Adapt to the idris-lang/Idris2#2604
#44
buzden
closed
2 years ago
2
derive doesn't work in mutual blocks
#43
locallycompact
closed
2 years ago
2
Elaborator really slow on types with lots of constructors
#42
locallycompact
opened
2 years ago
1
[ refactor] derive under elab so that additional queries and error reporting can be done
#41
MarcelineVQ
closed
2 years ago
2
Break-down explanation expected in Interface Implementations for Enumerations
#40
KySpace
opened
2 years ago
1
Update reflection code to be compatible with Idris2#2535
#39
ohad
opened
2 years ago
0
[ CI ] only test against latest Idris
#38
stefan-hoeck
closed
2 years ago
2
[ upstream ] Adapt to the changes in idris-lang/Idris2#2517
#37
buzden
opened
2 years ago
2
[ version ] bump idris2 version
#36
stefan-hoeck
closed
2 years ago
0
[ upstream ] Added ForeignExport constructor to FnOpt
#35
stefan-hoeck
closed
2 years ago
0
[ version ] bumped Idris2 version
#34
stefan-hoeck
closed
2 years ago
0
[ upstream ] Eq implementations, and TTImp change
#33
gallais
closed
2 years ago
1
[ refactor ] move Pretty instances to Language.Reflection.Pretty module
#32
stefan-hoeck
closed
2 years ago
0
[ fix ] use new name quoting
#31
stefan-hoeck
closed
2 years ago
0
[ version ] bump idris2 version
#30
stefan-hoeck
closed
2 years ago
0
[ upstream ] Adapt to the idris-lang/Idris2#2348
#29
buzden
closed
2 years ago
0
Next