Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
Platform
GitHub Copilot
Write better code with AI
GitHub Spark
New
Build and deploy intelligent apps
GitHub Models
New
Manage and compare prompts
GitHub Advanced Security
Find and fix vulnerabilities
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Discussions
Collaborate outside of code
Code Search
Find more, search less
Explore
Why GitHub
Documentation
GitHub Skills
Blog
Integrations
GitHub Marketplace
MCP Registry
View all features
Solutions
By company size
Enterprises
Small and medium teams
Startups
Nonprofits
By use case
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
By industry
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
Topics
AI
DevOps
Security
Software Development
View all
Explore
Learning Pathways
Events & Webinars
Ebooks & Whitepapers
Customer Stories
Partners
Executive Insights
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
GitHub Advanced Security
Enterprise-grade security features
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Appearance settings
Resetting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
purescript-spec
/
purescript-spec-quickcheck
Public
Watch
Couldn't load subscription status.
Retry
Uh oh!
There was an error while loading.
Please reload this page
.
Fork
11
Star
13
Code
Issues
2
Pull requests
0
Actions
Projects
0
Wiki
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
Commits
Branch selector
c652e6e
User selector
All users
Datepicker
All time
Commit History
Commits on Jul 23, 2015
Fix spec version
Oskar Wickström
committed
c652e6e
Copy full SHA for c652e6e
Update dependency
Oskar Wickström
committed
ffd7d73
Copy full SHA for ffd7d73
v0.3.0
Oskar Wickström
committed
6877a02
Copy full SHA for 6877a02
Merge branch 'DavidHarrison-master'
Oskar Wickström
committed
117fd46
Copy full SHA for 117fd46
Update example in README
Oskar Wickström
committed
a54928b
Copy full SHA for a54928b
Adjust makefile for psc 0.7
Oskar Wickström
committed
3f4c935
Copy full SHA for 3f4c935
Commits on Jul 12, 2015
Update for PureScript 0.7
DavidHarrison
committed
a2a86eb
Copy full SHA for a2a86eb
Update for PureScript 0.7 and use random generated seed
DavidHarrison
committed
cd975b1
Copy full SHA for cd975b1
Update dependencies in bower.json
DavidHarrison
committed
1dfee7c
Copy full SHA for 1dfee7c
Move tests to test for pulp compatibility
DavidHarrison
committed
e400d59
Copy full SHA for e400d59
Commits on May 15, 2015
Update readme
Oskar Wickström
committed
9950c4e
Copy full SHA for 9950c4e
v0.2.1
Oskar Wickström
committed
c7d92d0
Copy full SHA for c7d92d0
Upgrade to purescript-spec 0.5.0
Oskar Wickström
committed
03479e4
Copy full SHA for 03479e4
Commits on May 14, 2015
v0.2.0
Oskar Wickström
committed
0c61df6
Copy full SHA for 0c61df6
Upgrade to purescript-spec 0.4.0
Oskar Wickström
committed
768f1b4
Copy full SHA for 768f1b4
Commits on May 12, 2015
v0.1.1
Oskar Wickström
committed
b15ddcb
Copy full SHA for b15ddcb
Add docs
Oskar Wickström
committed
28eccd6
Copy full SHA for 28eccd6
Better examples
Oskar Wickström
committed
7bc521e
Copy full SHA for 7bc521e
Initial commit
Oskar Wickström
committed
1e36020
Copy full SHA for 1e36020
You can’t perform that action at this time.
Oskar Wickström