Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
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
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
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
/
Sign in
Sign up
Appearance settings
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 }}
pheymann
/
typelevel.github.com
Public
forked from
typelevel/typelevel.github.com
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
development
User selector
All users
All time
Commit history
Commits on Jun 9, 2018
Blog post: Shared State in Functional Programming (#215)
gvolpe
authored and
larsrh
committed
f4e8b76
View commit details
Copy full SHA for f4e8b76
Browse repository at this point
Commits on Jun 7, 2018
remove unused `tut` header
larsrh
committed
01677db
View commit details
Copy full SHA for 01677db
Browse repository at this point
Commits on May 29, 2018
Merge pull request #214 from adelbertc/add-tc-paper
Show description for bb0c61d
larsrh
authored
bb0c61d
View commit details
Copy full SHA for bb0c61d
Browse repository at this point
Commits on May 28, 2018
Add subtype type classes paper and talk
adelbertc
committed
99c6023
View commit details
Copy full SHA for 99c6023
Browse repository at this point
Commits on May 14, 2018
Merge pull request #212 from ceedubs/cats-not-experimental
Show description for 1b4869d
Luka Jacobowitz
authored
1b4869d
View commit details
Copy full SHA for 1b4869d
Browse repository at this point
Remove "experimental" from Cats description
Show description for cf60eb9
ceedubs
committed
cf60eb9
View commit details
Copy full SHA for cf60eb9
Browse repository at this point
Commits on May 11, 2018
Blog post: Tagless Final algebras and Streaming (#210)
gvolpe
authored and
larsrh
committed
787482f
View commit details
Copy full SHA for 787482f
Browse repository at this point
Commits on May 10, 2018
Berlin: full schedule
larsrh
committed
c828ae3
View commit details
Copy full SHA for c828ae3
Browse repository at this point
Add Product with Serializable blog post (#211)
ceedubs
authored and
larsrh
committed
51fe7ed
View commit details
Copy full SHA for 51fe7ed
Browse repository at this point
Commits on May 8, 2018
Berlin: updates
larsrh
authored
65bd6a4
View commit details
Copy full SHA for 65bd6a4
Browse repository at this point
Commits on Apr 25, 2018
Berlin: talks
larsrh
committed
4c9692b
View commit details
Copy full SHA for 4c9692b
Browse repository at this point
Berlin: sold out
larsrh
committed
5e0bc48
View commit details
Copy full SHA for 5e0bc48
Browse repository at this point
Commits on Apr 22, 2018
Merge pull request #209 from guizmaii/typos
Show description for fdfad51
Luka Jacobowitz
authored
fdfad51
View commit details
Copy full SHA for fdfad51
Browse repository at this point
Fix typo
guizmaii
committed
6593c72
View commit details
Copy full SHA for 6593c72
Browse repository at this point
Fix typo
guizmaii
committed
9ebb527
View commit details
Copy full SHA for 9ebb527
Browse repository at this point
Fix typos
guizmaii
committed
76b6de5
View commit details
Copy full SHA for 76b6de5
Browse repository at this point
Commits on Apr 17, 2018
Merge pull request #208 from LukaJCB/monaderr
Show description for 94c5705
Luka Jacobowitz
authored
94c5705
View commit details
Copy full SHA for 94c5705
Browse repository at this point
More corrections
Luka Jacobowitz
committed
c407c24
View commit details
Copy full SHA for c407c24
Browse repository at this point
Commits on Apr 16, 2018
Merge pull request #207 from LukaJCB/monaderr
Show description for b695ea2
Luka Jacobowitz
authored
b695ea2
View commit details
Copy full SHA for b695ea2
Browse repository at this point
Fix kind of second MonadBlunder encoding
Luka Jacobowitz
committed
7e80fc2
View commit details
Copy full SHA for 7e80fc2
Browse repository at this point
Berlin: talks
larsrh
committed
6454c19
View commit details
Copy full SHA for 6454c19
Browse repository at this point
Commits on Apr 15, 2018
Merge pull request #206 from LukaJCB/monaderr
Show description for f2b17f2
Luka Jacobowitz
authored
f2b17f2
View commit details
Copy full SHA for f2b17f2
Browse repository at this point
Formulate better law
Luka Jacobowitz
committed
98fb475
View commit details
Copy full SHA for 98fb475
Browse repository at this point
Merge pull request #204 from LukaJCB/monaderr
Show description for a9e0920
Luka Jacobowitz
authored
a9e0920
View commit details
Copy full SHA for a9e0920
Browse repository at this point
Fix absolve signature
Luka Jacobowitz
committed
3efaf71
View commit details
Copy full SHA for 3efaf71
Browse repository at this point
Typo
Luka Jacobowitz
authored
0d72a77
View commit details
Copy full SHA for 0d72a77
Browse repository at this point
Reformulate law a bit
Luka Jacobowitz
authored
57aa215
View commit details
Copy full SHA for 57aa215
Browse repository at this point
Add small disclaimer for law
Luka Jacobowitz
committed
c9fb960
View commit details
Copy full SHA for c9fb960
Browse repository at this point
Add hackage link
Luka Jacobowitz
committed
bcb6ae4
View commit details
Copy full SHA for bcb6ae4
Browse repository at this point
Some corrections
Luka Jacobowitz
committed
a2bc1a7
View commit details
Copy full SHA for a2bc1a7
Browse repository at this point
Commits on Apr 14, 2018
Add new monaderror blog post
Luka Jacobowitz
committed
fed15b6
View commit details
Copy full SHA for fed15b6
Browse repository at this point
Commits on Apr 10, 2018
Berlin: talks
larsrh
committed
33f7535
View commit details
Copy full SHA for 33f7535
Browse repository at this point
Berlin: talks
larsrh
committed
b1876df
View commit details
Copy full SHA for b1876df
Browse repository at this point
Commits on Apr 9, 2018
Berlin: talks
larsrh
committed
45c5cd7
View commit details
Copy full SHA for 45c5cd7
Browse repository at this point
Commits on Apr 7, 2018
Berlin: talks
larsrh
committed
0b830d0
View commit details
Copy full SHA for 0b830d0
Browse repository at this point
Previous
Next
You can’t perform that action at this time.