You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[ new ] modular-dom: Modularizing the Idris dom bindings#49
Open
stefan-hoeck wants to merge 5 commits intomainstefan-hoeck/idris2-dom:mainfrom more_modulesstefan-hoeck/idris2-dom:more_modulesCopy head branch name to clipboard
