Skip to content

Pull requests: ucsd-progsys/liquidhaskell

New pull request New
23 Open 1,275 Closed
23 Open 1,275 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

Support for lambdas :)
#2465 opened Dec 12, 2024 by AlecsFerra Loading…
28
Allow local logical aliases (defines)
#2463 opened Dec 11, 2024 by clayrat Loading…
4
Remove untested typeclass elaboration WIP: Don't Merge Yet
#2434 opened Nov 11, 2024 by facundominguez Loading…
6
Clear out some cruft from withWiredIn
#2397 opened Oct 18, 2024 by gergoerdi Loading…
Bump socket.io from 0.9.6 to 2.5.0 in /docs/slides/flops14/_support/reveal dependencies Pull requests that update a dependency file
#2306 opened Jun 19, 2024 by dependabot bot Loading…
Bump express from 4.17.3 to 4.19.2 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2293 opened May 25, 2024 by dependabot bot Loading…
Bump underscore from 1.3.3 to 1.12.1 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2253 opened Dec 16, 2023 by dependabot bot Loading…
Bump mustache from 0.4.0 to 2.2.1 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2252 opened Dec 16, 2023 by dependabot bot Loading…
Bump socket.io from 0.9.6 to 2.4.0 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2251 opened Dec 16, 2023 by dependabot bot Loading…
Enable choice of term ordering for REST
#1930 opened Feb 9, 2022 by zgrannan Loading…
5
Fix for #1906: adding GADT fields syntax
#1922 opened Jan 10, 2022 by Fizzixnerd • Draft
1
Fix for #1904 autolifting of data fields
#1921 opened Jan 6, 2022 by Fizzixnerd • Draft
5 of 6 tasks
10
Interpreter only on LHS WIP: Don't Merge Yet
#1899 opened Nov 10, 2021 by nikivazou Loading…
freshVV type aliases to prevend shadowing
#1878 opened Sep 10, 2021 by nikivazou Loading…
Michaelborkowski/benchmarks
#1843 opened Jun 17, 2021 by michaelborkowski • Draft
@ranjitjhala
4
Promote DataCon in matchTyCon
#1828 opened Feb 26, 2021 by nikivazou Loading…
change bivariant to perform no checks
#1825 opened Feb 18, 2021 by nikivazou Loading…
Flagged tc
#1667 opened May 11, 2020 by yiyunliu Loading…
Typeclass with minor fixes WIP: Don't Merge Yet
#1641 opened Apr 7, 2020 by yiyunliu Loading…
2
make functor a generic class for #1619
#1621 opened Feb 24, 2020 by nikivazou Loading…
@nikivazou
6
update submodule with elimEta fix
#1608 opened Feb 9, 2020 by yiyunliu Loading…
@nikivazou
6
Drop only dictionaries of type Eq, Ord, Numerical, and ~ WIP: Don't Merge Yet
#1606 opened Feb 8, 2020 by yiyunliu Loading…
@nikivazou
1
Unsound.jp
#1577 opened Dec 19, 2019 by jprider63 Loading…
1
ProTip! Follow long discussions with comments:>50.