issues
search
stefan-hoeck
/
idris2-rhone-js
Experimental JS bindings for idris2-rhone
BSD 3-Clause "New" or "Revised" License
21
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Server side rendering tutorial
#63
srghma
opened
4 days ago
3
[fix] wrong grid-template-areas css being rendered
#62
j-nava
closed
1 year ago
1
[ style ] adhere to coding style guide
#61
stefan-hoeck
closed
1 year ago
0
[ refactor ] use stack safe traversals from tailrec
#60
stefan-hoeck
closed
1 year ago
0
[ new ] add support for wheel events
#59
stefan-hoeck
closed
1 year ago
0
[ new ] additional modifier key events
#58
stefan-hoeck
closed
1 year ago
0
[ new ] add Empty data constructor to Attribute
#57
stefan-hoeck
closed
1 year ago
0
[ new ] add Empty data constructor to HTML nodes
#56
stefan-hoeck
closed
1 year ago
0
[ new ] add Replace constructor to DOMUpdate
#55
stefan-hoeck
closed
1 year ago
0
[ new ] several utilities for DOM updates
#54
stefan-hoeck
closed
1 year ago
0
[ doc ] update example docs to recent API changes
#53
stefan-hoeck
closed
1 year ago
0
[ fix ] compat error in docs
#52
stefan-hoeck
closed
1 year ago
0
[ refactor ] move ElemRef to its own module
#51
stefan-hoeck
closed
1 year ago
0
[ performance ] dont inline gradient interpolation
#50
stefan-hoeck
closed
1 year ago
0
[ compat ] adjust to upstream changes
#49
stefan-hoeck
closed
1 year ago
0
[ refactor ] use quantifiers-extra for union type
#48
stefan-hoeck
closed
1 year ago
0
[ refactor ] generalize and speed up element creation
#47
stefan-hoeck
closed
1 year ago
0
[ refactor ] drop fancy monads
#46
stefan-hoeck
closed
1 year ago
0
[ refactor, cleanup ] ditch sop dependency
#45
stefan-hoeck
closed
1 year ago
0
[ refactor, new ] selectors and gradients
#44
stefan-hoeck
closed
1 year ago
0
[ fix ] rendering of classes CSS selector
#43
stefan-hoeck
closed
1 year ago
0
[ fix ] typo in function name
#42
stefan-hoeck
closed
1 year ago
0
[ new ] add whitespace CSS property
#41
stefan-hoeck
closed
1 year ago
0
[ new ] added more CSS properties
#40
stefan-hoeck
closed
1 year ago
0
[ cleanup ] removing more dead code
#39
stefan-hoeck
closed
1 year ago
0
[ cleanup ] remove some dead code
#38
stefan-hoeck
closed
1 year ago
0
[ refactor ] drop CSS operators
#37
stefan-hoeck
closed
1 year ago
0
[ new ] additional text styles
#36
stefan-hoeck
closed
1 year ago
0
[ compat, new ] adjust to new CSSOM view bindings in idris2-dom
#35
stefan-hoeck
closed
1 year ago
0
[ md ] fixed markdown syntax setting
#34
stefan-hoeck
closed
1 year ago
0
[ refactor ] Use refined library for refined primitives
#33
stefan-hoeck
closed
1 year ago
1
[ new ] constructor for text for data type shape
#32
claudio-etterli
closed
1 year ago
2
[ compat ] adjust to upstream refactoring
#31
stefan-hoeck
closed
1 year ago
0
[ upstream ] adjust to tailrec changes
#30
stefan-hoeck
closed
1 year ago
0
[ cleanup ] ditch contrib depenency
#29
stefan-hoeck
closed
1 year ago
0
[ compat ] use new stack safe map from prelude
#28
stefan-hoeck
closed
1 year ago
0
Add flex-grow and flex-flow
#27
alexhumphreys
closed
2 years ago
1
[ refactor ] new project layout
#26
stefan-hoeck
closed
2 years ago
0
[ CI ] only build on latest Idris
#25
stefan-hoeck
closed
2 years ago
0
[ version ] bump idris2 version
#24
stefan-hoeck
closed
2 years ago
0
[ version ] bump idris2 version
#23
stefan-hoeck
closed
2 years ago
0
[ cleanup ] dont depend on contrib
#22
stefan-hoeck
closed
2 years ago
0
[ version ] bump idris2 version
#21
stefan-hoeck
closed
2 years ago
0
[ version ] Idris2 version bump
#20
stefan-hoeck
closed
2 years ago
0
Add tabindex property and onKeyUp action to attributes.
#19
mattpolzin
closed
2 years ago
1
Add Focus interface and implement functions that focus elements.
#18
mattpolzin
closed
2 years ago
2
[ compat ] adjust to latest idris2 changes
#17
stefan-hoeck
closed
2 years ago
0
[ version ] bump idris2 version
#16
stefan-hoeck
closed
2 years ago
0
[ new ] local storage Sink
#15
stefan-hoeck
closed
2 years ago
0
[ new ] some more utilities
#14
stefan-hoeck
closed
2 years ago
0
Next