FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Improve apartness checking by rhendric · Pull Request #4149 · 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
Improve apartness checking
- #4149
#4149
Merged
JordanMartinez
merged 2 commits into
purescript:master
purescript/purescript:master
from
rhendric:rhendric/restore-4064
rhendric/purescript:rhendric/restore-4064
Copy head branch name to clipboard
Feb 27, 2022
Conversation
Commits
2
(2)
Checks
Files changed
Merged
Improve apartness checking
#4149
JordanMartinez
merged 2 commits into
purescript:master
purescript/purescript:master
from
rhendric:rhendric/restore-4064
rhendric/purescript:rhendric/restore-4064
Copy head branch name to clipboard
Commits
Commits on Jul 12, 2021
Improve apartness checking
Show description for 7af2ff5
rhendric
committed
7af2ff5
View commit details
Copy full SHA for 7af2ff5
Browse repository at this point
Commits on Feb 27, 2022
Merge branch 'master' into rhendric/restore-4064
JordanMartinez
authored
446a336
View commit details
Copy full SHA for 446a336
Browse repository at this point
Back
|
FazBrowse Home
|
New Git URL