Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Pull requests: agda/cornelis

New pull request New
Clear current search query, filters, and sorts
5 Open 71 Closed
5 Open 71 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

feat: CornelisTerminationProblem, CornelisPositivityProblem
#184 by foxyseta was merged Nov 3, 2025 Loading…
1
2
doc: run spellchecker on project
#183 by foxyseta was merged Oct 31, 2025 Loading…
1
Mint cornelis#unbind_input
#182 by CT075 was merged Oct 28, 2025 Loading…
1
1
Upgrade to stack lts 23.17
#174 by 4e554c4c was merged Mar 31, 2025 Loading…
1
Get Agda version via interaction mode
#171 by 4e554c4c was merged Mar 28, 2025 Loading…
Display list of possible constructors to introduce
#170 by phijor was merged Mar 28, 2025 Loading…
1
1
Fix Agda RPC for upcoming 2.8.0
#168 by 4e554c4c was merged Feb 20, 2025 Loading…
Remove MacOS tests
#167 by 4e554c4c was merged Feb 19, 2025 Loading…
add tagging policy and lazy instructions
#166 by 4e554c4c was merged Feb 19, 2025 Loading…
Implement: Make the rewrite mode modifiable #41
#165 by ivanovs-4 was merged Feb 19, 2025 Loading…
1
2
update workflows
#163 by 4e554c4c was merged Jan 15, 2025 Loading…
Set ft=markdown.agda for *.lagda.md
#162 by 4e554c4c was merged Jan 15, 2025 Loading…
1
autoOne functionality update for Agda v2.7.0 and up
#156 by iwashis was merged Oct 24, 2024 Loading…
3
Feature/change agsy to mimer
#155 by iwashis was closed Oct 8, 2024 Loading…
Include Agda files needed for tests in sdist
#151 by phijor was merged May 17, 2024 Loading…
1
2
Ignore failed writes when loading buffer
#149 by phijor was merged May 15, 2024 Loading…
1
1
Reduce closure size of Nix derivation
#146 by phijor was merged Apr 8, 2024 Loading…
1
Update to GHC 9.6.4
#145 by malob was merged Mar 26, 2024 Loading…
1
Auto-close the info window, when closing the current buffer.
#143 by silky was merged Mar 2, 2024 Loading…
1
removed some duplicates
#140 by silky was merged Feb 21, 2024 Loading…
1
1
buildVimPluginFrom2Nix is deprecated
#136 by uf5 was merged Feb 2, 2024 Loading…
1
Update GHC versions with default as 9.4.8
#134 by malob was merged Dec 20, 2023 Loading…
1
Specify highlight priority
#132 by 4e554c4c was merged Dec 5, 2023 Loading…
1
1
add hlint
#131 by 4e554c4c was merged Dec 7, 2023 Loading…
11
Add back deleted bindings
#130 by favonia was merged Dec 2, 2023 Loading…
1
ProTip! Exclude everything labeled bug with -label:bug.