Marco Perone issues

Results 85 issues of


                                            Marco Perone

Define operations on commutative diagrams

Provide an easy interface to work with commutative diagrams, so that it is easy to compose them

prove that the category of types and functions is symmetric monoidal

Define free symmetric monoidal category

define f-algebras and eilenberg-moore category

type checker hangs when checking symmetric monoidal category associator

at the moment the associator does not work for some mysterious reason. Find out why and fix it - issue on [idris-lang #4690](https://github.com/idris-lang/Idris-dev/issues/4690)

define smproc category

in https://github.com/jameshaydon/smproc there is defined a monoidal category. Integrate it with out definitions coming from https://github.com/statebox/idris-stbx-core/issues/30

Finish up wiring diagram

coming from https://github.com/statebox/idris-stbx-core/issues/28

Type checker hangs and errors

We're working on a library formalising (monoidal) categories and we reached a point where the type checker hangs while elaborating a type and, after more or less an hour without...

Provide documentation and examples

At a first look these concepts are scary if someone is not already familiar with them. Probably some documentation and some concrete examples could help

documentation

good first issue

Define `IO` data structure. The easiest encoding could be done using thunks, as in https://gcanti.github.io/fp-ts/modules/IO.ts.html - [x] `Functor` instance - [x] `Apply` instance - [x] `Applicative` instance - [x] `Monad`...