-
Updated
Oct 27, 2020 - TeX
category-theory
Here are 227 public repositories matching this topic...
-
Updated
Sep 26, 2020 - CSS
-
Updated
Nov 10, 2020 - Shell
-
Updated
Aug 31, 2020 - Rust
-
Updated
Sep 21, 2020 - Haskell
-
Updated
Nov 16, 2020 - TeX
-
Updated
Aug 7, 2020 - Coq
-
Updated
Nov 10, 2020 - Swift
-
Updated
Feb 26, 2018
-
Updated
Sep 10, 2020 - Clojure
-
Updated
Nov 26, 2019
-
Updated
Apr 17, 2020
-
Updated
Aug 22, 2020 - Idris
We should set up benchmarks for the package, using BenchmarkTools.jl for the actual benchmarking, PkgBenchmark.jl for aggregating benchmarks across the package, and BenchmarkCI.jl for integration with GitHub Actions.
The benchmarks should go in a folder `benchma
-
Updated
Nov 16, 2020
-
Updated
Nov 16, 2020 - Scala
-
Updated
Jul 17, 2020 - Reason
-
Updated
Jun 23, 2020 - Idris
Complete algorithm: http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html
-
Updated
Aug 24, 2020 - JavaScript
Do you intend to implement some of the functions Scott Wlaschin has in its AsyncResult/Result modules, e.g.
AsyncResult.catch
AsyncResult.ofAsync
AsyncResult.ofSuccess
AsyncResult.ofError
AsyncResult.ofResult?
-
Updated
Jul 19, 2020 - TypeScript
- untabify
- indent
- align where needed
-
Updated
Nov 10, 2020 - Smalltalk
-
Updated
Nov 16, 2020 - Python
-
Updated
Apr 7, 2020
-
Updated
Oct 28, 2020 - Coq
Improve this page
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."


In the following diagram, it is not possible to drag Y on to the end of the arrow, despite it being empty.
In such a situation, it makes sense to allow Y to be dragged on top of the empty node.