🔭 I’m currently working on GHC plugins & category theory modeling🌱 I’m currently learning enriched category theory and dependent type theory👯 I’m looking to collaborate on writing about functional programming💬 Ask me about freediving📫 How to reach me: @sellout on Twitter😄 Pronouns: they/them⚡ Fun fact: I can hold my breath for four minutes.
semper φ
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
- Kihei, HI, USA
- http://sellout.github.com/
- @sellout
Block or Report
Block or report sellout
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
con-kitty/categorifier Public
Interpret Haskell programs into any cartesian closed category.
Haskell 20
-
-
265 contributions in the last year
Contribution activity
May 2022
Created 9 commits in 2 repositories
Created 1 repository
- sellout/linear-base Haskell
Opened 8 pull requests in 3 repositories
con-kitty/categorifier
3
merged
2
open
con-kitty/categorifier-c
1
merged
1
open
tweag/linear-base
1
open
Reviewed 5 pull requests in 3 repositories
con-kitty/categorifier
2 pull requests
con-kitty/categorifier-c
2 pull requests
compiling-to-categories/concat
1 pull request
Created an issue in compiling-to-categories/concat that received 1 comment
Split into separate repos?
As mentioned by @conal in #13 (comment), this could potentially be split into separate repos. I support this idea, for basically the same reasons a…
1
comment
1
contribution
in private repositories
May 10