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 }}
fthomas
/
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
master
User selector
All users
All time
Commit history
Commits on Jan 27, 2016
fix event template
Show description for 8ba14fe
larsrh
committed
8ba14fe
View commit details
Copy full SHA for 8ba14fe
Browse repository at this point
Commits on Jan 26, 2016
Merge pull request #79 from milessabin/master
Show description for ccbc404
adelbertc
committed
ccbc404
View commit details
Copy full SHA for ccbc404
Browse repository at this point
More Speakers, even less Papers.
milessabin
committed
5c90ace
View commit details
Copy full SHA for 5c90ace
Browse repository at this point
Speakers, not Papers.
milessabin
committed
72e2e44
View commit details
Copy full SHA for 72e2e44
Browse repository at this point
Commits on Jan 25, 2016
Merge pull request #76 from adelbertc/philly-first-announce
Show description for da3c1bd
adelbertc
committed
da3c1bd
View commit details
Copy full SHA for da3c1bd
Browse repository at this point
Update date for first batch results
adelbertc
committed
97d2119
View commit details
Copy full SHA for 97d2119
Browse repository at this point
Commits on Jan 23, 2016
list of topics for the CfP on the event page (Oslo)
larsrh
committed
ecd44e5
View commit details
Copy full SHA for ecd44e5
Browse repository at this point
Merge pull request #75 from typelevel/topic/cfp-topics
Show description for 7c9f9f1
milessabin
committed
7c9f9f1
View commit details
Copy full SHA for 7c9f9f1
Browse repository at this point
list of topics for the CfP on the event page
larsrh
committed
8abcf50
View commit details
Copy full SHA for 8abcf50
Browse repository at this point
fix feed address
larsrh
committed
514de9e
View commit details
Copy full SHA for 514de9e
Browse repository at this point
fix heading
larsrh
committed
66b1597
View commit details
Copy full SHA for 66b1597
Browse repository at this point
Commits on Jan 22, 2016
Merge pull request #74 from S11001001/8-existential-inside
Show description for 85bc0a3
larsrh
committed
85bc0a3
View commit details
Copy full SHA for 85bc0a3
Browse repository at this point
Merge pull request #73 from typelevel/fabe-responsive-fix
Show description for 49929bf
larsrh
committed
49929bf
View commit details
Copy full SHA for 49929bf
Browse repository at this point
Try a different image ref syntax.
S11001001
committed
4ef6bfe
View commit details
Copy full SHA for 4ef6bfe
Browse repository at this point
Forward link from part 7 to 8.
S11001001
committed
0690ea6
View commit details
Copy full SHA for 0690ea6
Browse repository at this point
New post: "It's existential on the inside".
S11001001
committed
8afa253
View commit details
Copy full SHA for 8afa253
Browse repository at this point
Commits on Jan 21, 2016
centered event pictures.
fabe
committed
0bc0f7f
View commit details
Copy full SHA for 0bc0f7f
Browse repository at this point
update readme and gitignore
fabe
committed
a72d4ab
View commit details
Copy full SHA for a72d4ab
Browse repository at this point
update gemfile
fabe
committed
87a8392
View commit details
Copy full SHA for 87a8392
Browse repository at this point
Revert "add gemfile"
Show description for 50e409f
fabe
committed
50e409f
View commit details
Copy full SHA for 50e409f
Browse repository at this point
add gemfile
fabe
committed
0d2872c
View commit details
Copy full SHA for 0d2872c
Browse repository at this point
add gemfile
fabe
committed
4f77744
View commit details
Copy full SHA for 4f77744
Browse repository at this point
fix projects on home (responsive)
fabe
committed
005220a
View commit details
Copy full SHA for 005220a
Browse repository at this point
Merge pull request #69 from propensive/align-event-images
Show description for db9c256
larsrh
committed
db9c256
View commit details
Copy full SHA for db9c256
Browse repository at this point
Merge pull request #66 from typelevel/topic/archive
Show description for c5c9e67
larsrh
committed
c5c9e67
View commit details
Copy full SHA for c5c9e67
Browse repository at this point
Commits on Jan 20, 2016
Centered event images on home page
Show description for 1d60797
propensive
committed
1d60797
View commit details
Copy full SHA for 1d60797
Browse repository at this point
Merge pull request #65 from typelevel/topic/keynote
Show description for d8e4a8c
larsrh
committed
d8e4a8c
View commit details
Copy full SHA for d8e4a8c
Browse repository at this point
announce Philadelphia keynote
larsrh
committed
28dd6f3
View commit details
Copy full SHA for 28dd6f3
Browse repository at this point
Blog archive page
Show description for 5a04a9f
larsrh
committed
5a04a9f
View commit details
Copy full SHA for 5a04a9f
Browse repository at this point
fix heading
larsrh
committed
343f617
View commit details
Copy full SHA for 343f617
Browse repository at this point
Commits on Jan 17, 2016
CfP deadlines
larsrh
committed
b9fc30e
View commit details
Copy full SHA for b9fc30e
Browse repository at this point
Commits on Jan 16, 2016
restructure README
larsrh
committed
5569100
View commit details
Copy full SHA for 5569100
Browse repository at this point
event content
larsrh
committed
76e92f0
View commit details
Copy full SHA for 76e92f0
Browse repository at this point
update contributors
larsrh
committed
b76f96b
View commit details
Copy full SHA for b76f96b
Browse repository at this point
re-enable Disqus
larsrh
committed
07fbafe
View commit details
Copy full SHA for 07fbafe
Browse repository at this point
Previous
Next
You can’t perform that action at this time.