Block or Report
Block or report solomon-b
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
Lambda-Cube Public
Single file Lambda Calculus implementations and presentation slides.
-
-
1,809 contributions in the last year
Less
More
Activity overview
Contributed to
solomon-b/nixos-config,
solomon-b/graphql-parser,
cofree-coffee/cofree-bot
and 58 other
repositories
Contribution activity
August 2022
Created 89 commits in 5 repositories
Created 4 repositories
- solomon-b/rofi Shell
- solomon-b/autodocodec Haskell
- solomon-b/Programming-From-The-Ground-Up Assembly
- solomon-b/netlink-hs Haskell
Created a pull request in cofree-coffee/cofree-bot that received 13 comments
Bot Fixed Point and Moore Machine Servers
This is @masaeedu's Bot Fixed Point PR with merge conflicts from main resolved. I made a PR against' his fork with this fix but he is too busy and …
+200
−50
•
13
comments
Opened 3 other pull requests in 2 repositories
cofree-coffee/cofree-bot
2
merged
masaeedu/cofree-bot
1
open
Reviewed 3 pull requests in 1 repository
cofree-coffee/cofree-bot
3 pull requests
Created an issue in NorfairKing/autodocodec that received 3 comments
Profunctor instance for Codec
I was about to write a Profunctor instance for Codec when I noticed that you have dimap, rmap, and lmap in the library already but no actual instan…
3
comments
36
contributions
in private repositories
Aug 1 – Aug 25




