Skip to content

Pull requests: cedille/cedille

New pull request New
9 Open 36 Closed
9 Open 36 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Broken links to Haskell and Agda AST datatypes.
#164 opened Feb 20, 2022 by philderbeast Loading…
Update unicode.texi to have items for sigma and mu
#159 opened Oct 1, 2020 by ahubers Member Loading…
1
Fix to-string.agda to compile with Agda 2.6.1
#156 opened Jul 19, 2020 by mb64 Loading…
Fix typo in info page
#155 opened Jul 18, 2020 by mb64 Loading…
Completed the write-html module
#154 opened Jun 6, 2020 by MudroadWhite Loading…
Wired elaboration to write-html in elab-util.agda for testing
#153 opened May 16, 2020 by MudroadWhite Loading…
2
Remove record in qualified name to let Agda 2.6.1 happy
#144 opened Feb 15, 2020 by ice1000 Loading…
Tweak mendler encoding
#107 opened Aug 5, 2019 by astump Contributor Loading…
Archive Dependency Selection
#68 opened Feb 18, 2019 by CarlOlson Collaborator Loading…
5
ProTip! What’s not been updated in a month: updated:<2026-07-11.