Activity

Showing most recent first

Deploying to gh-pages from @ `a35498d` 🚀

github-actions[bot]pushed 1 commit to gh-pages • c84c1e8…d108118 •

on Jul 26, 2024

export fixity declarations

Pull request merge

gallaispushed 1 commit to main • e496277…a35498d •

on Jul 26, 2024

Deploying to gh-pages from @ `e496277` 🚀

github-actions[bot]pushed 1 commit to gh-pages • 249b37c…c84c1e8 •

on Dec 24, 2023

Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 comp…

Pull request merge

gallaispushed 1 commit to main • 46bff04…e496277 •

on Dec 24, 2023