GitShow/sharkdp/purescript-ctprelude
sharkdp

purescript-ctprelude

A Prelude with names from category theory

by sharkdp
category-theorypurescript
Star on GitHubFork

PureScript

51 stars1 forks2 contributorsQuiet · 10y agoSince 2016

Meet the team

See all 2 on GitHub →
sharkdp
sharkdp38 contributions
iblech
iblech1 contribution

Languages

View on GitHub →
PureScript94.8%
Python4.6%
JavaScript0.6%

Commit activity

Last 12 weeks · 0 commits

Full graph →

Community health

1 of 6 standards met

Community profile →
28
✓README○License○Contributing○Code of Conduct○Issue Template○PR Template

Recent fixes

View closed PRs →
sharkdp
Add Category, Functor, ...ClosedIssue

[ ] Add [ ] Add (in favor of the current Endo class) [ ] Add [ ] Add , , ...

sharkdp · 8y ago
sharkdp
Add contravariant functorsClosedIssue
sharkdp · 10y ago
sharkdp
Add ProfunctorsClosedIssue
sharkdp · 10y ago
Structured data for AI agents

Repository: sharkdp/purescript-ctprelude. Description: A Prelude with names from category theory Stars: 51, Forks: 1. Primary language: PureScript. Languages: PureScript (94.8%), Python (4.6%), JavaScript (0.6%). Topics: category-theory, purescript. Open PRs: 0, open issues: 0. Last activity: 10y ago. Community health: 28%. Top contributors: sharkdp, iblech.

·@ofershap

Replace github.com with gitshow.dev