-
Google
- San Francisco, CA
- https://www.stephanboyer.com
- @stepchowfun
Block or Report
Block or report stepchowfun
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
2,489 contributions in the last year
Contribution activity
June 2022
Created 42 commits in 3 repositories
Opened 18 pull requests in 1 repository
stepchowfun/proofs
18
merged
- Fix a typo in a comment
-
Generalize the type of
mapOptionin Lesson 1 -
Explain the
@syntax in Lesson 1 -
Explain the
headfunction in Lesson 2 -
Add a
headfunction to Lesson 2 - Wordsmith Lesson 2
- Wordsmith Lesson 1
- Put some more effort into Lesson 2
- Update Lesson 2 of the tutorial
- Add some exercises to the tutorial
- Rename some things in the tutorial
- Remove the lesson on proof by reflection
- Tweak lesson 1
- Rename some files
-
Explain
foralltypes in the tutorial - Add a step to lesson 0 of the tutorial
- Tweak lesson 0 of the tutorial
-
Use
Setinstead ofTypeto simplify the exposition



