- Build haddock documentation of a cabal project
- A remark on lazy ST monad and MonadFix instance for IOSim
- Typed Protocols @ Haskell Love
- Strictness of foldr' from containers package
- Haddock: better support for multiple components
- Pipelining in Typed Protocols
- Masking Asynchronous Exceptions
- Ghc Tags Plugin
- Monoidal and Applicative Functors
- Why Monadic IO?
- Categories with Monadic Effects and State Machines
- Kleisli categories and free monads
- Composing cofree interpreters
- Monadicity
- Free algebras
- From free algebras to free monads
- Typed Transitions, Finite State Machines and Free Categories
- Workshop on Category Theory
- Routing with cofree comonad
- Peano Algebras in Haskell
| CARVIEW |
Select Language
HTTP/2 200
date: Tue, 30 Dec 2025 03:28:55 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"dd83bc57c723c8ead3b9c6bcba2cbacb"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=HYIRuznEf%2FCYkVfZaJhTa5cv%2BiTeyrEr7TzIBB06ST1248nd7JzTw5DSkzsQaPSGry00kHFpiJnsIoWakOb9knUFZHovUm%2BjcNTaoYFlh74OM7EB56oEApfEFb25qZZfjRyaxoOYWqxyJft81nzIsOMaBOK%2B4PHj58wIBCep7B8ob0gduKz%2BZnUAoCp2xFQ0vsG9rIFA0EfvedN%2BJRDp0GG84AcJ6OUXPIcX1ixx58FSWiQILdD0IKSOIKBvEf%2BJKGt92wzlhYMHyy746n%2Bg0A%3D%3D--YrrIrnJdldOclV88--bPBqVQ8tLBrCHBigF2U6YA%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1085522085.1767065334; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 03:28:54 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 03:28:54 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: AFC2:1265F:6A462A9:7F76F1C:695346F6
coot (coot) · GitHub
Skip to content
Navigation Menu
{{ message }}
🌳
coot coot
🌳
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
Pinned Loading
-
-
free-category
free-category PublicFree categories, free arrows and free categories with monadic actions
-
MaybeJustJames/zephyr
MaybeJustJames/zephyr PublicTree shaking breeze for PureScript CoreFn AST
-
-
purescript-cofree-react-router
purescript-cofree-react-router PublicReact-Router implemented in PureScript as Cofree Comonad for the Array functor.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
You can’t perform that action at this time.