Skip to content

Pull requests: ocaml-gospel/gospel

New pull request New
16 Open 310 Closed
16 Open 310 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Start design document
#438 opened Jan 13, 2025 by n-osborne • Draft
1
AST node for application of arbitrary terms
#436 opened Jan 5, 2025 by mrjazzybread Loading…
1
Fix bug in creation of fresh type variables
#435 opened Dec 28, 2024 by mrjazzybread Loading…
1
Remove and replace the coercion mechanism
#433 opened Dec 20, 2024 by n-osborne Loading…
1
Handle 5.2 AST changes
#424 opened Oct 21, 2024 by patricoferris Loading…
Remove attribute field from identifiers
#413 opened Jun 20, 2024 by n-osborne Loading…
1
Fix printing of symbols of fixity
#407 opened May 24, 2024 by n-osborne Loading…
2
Merge implementations branch with main
#390 opened Mar 23, 2024 by ionchirica Loading…
4
Bump prism-react-renderer from 1.3.5 to 2.3.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#367 opened Nov 27, 2023 by dependabot bot Loading…
@pascutto
Bump clsx from 1.2.1 to 2.0.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#347 opened Sep 25, 2023 by dependabot bot Loading…
@pascutto
Bump @docusaurus/core from 2.3.0 to 2.4.3 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#346 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
1
Bump @docusaurus/preset-classic from 2.3.0 to 2.4.3 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#345 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
Bump @svgr/webpack from 6.5.1 to 8.1.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#344 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
Change error to warning for redundant patterns
#222 opened Jun 5, 2022 by paulpatault Loading…
1
Inductive predicates
#198 opened May 18, 2022 by mariojppereira • Draft
2 of 5 tasks
Issue a warning when old is used on a non-modified variable
#123 opened Dec 17, 2021 by n-osborne • Draft
1
7
ProTip! Adding no:label will show everything without a label.