FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
optimize occurs check by kozak · Pull Request #4576 · 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
optimize occurs check
- #4576
#4576
Closed
kozak
wants to merge 125 commits into
purescript:master
purescript/purescript:master
from
restaumatic:optimize-occurs-check
restaumatic/purescript:optimize-occurs-check
Copy head branch name to clipboard
Conversation
Commits
125
(125)
Checks
Files changed
Closed
optimize occurs check
#4576
kozak
wants to merge 125 commits into
purescript:master
purescript/purescript:master
from
restaumatic:optimize-occurs-check
restaumatic/purescript:optimize-occurs-check
Copy head branch name to clipboard
Use a simpler monad in occurs check and check valid kind
7478a3c
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