FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Revert "Improve apartness checking" by rhendric · Pull Request #4129 · purescript/purescript · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
purescript
/
purescript
Public
Notifications
You must be signed in to change notification settings
Fork
575
Star
8.9k
Code
Issues
280
Pull requests
27
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Revert "Improve apartness checking"
- #4129
#4129
Merged
rhendric
merged 1 commit into
master
purescript/purescript:master
from
revert-4064-rhendric/apartness-fixes
purescript/purescript:revert-4064-rhendric/apartness-fixes
Copy head branch name to clipboard
Jul 2, 2021
Conversation
Commits
1
(1)
Checks
Files changed
Merged
Revert "Improve apartness checking"
#4129
rhendric
merged 1 commit into
master
purescript/purescript:master
from
revert-4064-rhendric/apartness-fixes
purescript/purescript:revert-4064-rhendric/apartness-fixes
Copy head branch name to clipboard
Revert "Improve apartness checking (#4064)"
5778a1b
Select commit
Loading
Failed to load commit list.
Uh oh!
There was an error while loading.
Please reload this page
.
Workflow runs completed with no jobs
Back
|
FazBrowse Home
|
New Git URL