All issues

Search results

rewrite !functor_o loops

Status: Open.

#193 In affeldt-aist/monae;

· t6s opened on Jun 18, 2026

consider using mathcomp structures to define altMonad and altCIMonad

Status: Open.

#178 In affeldt-aist/monae;

· t6s opened on Mar 7, 2026

automate reflexion

Status: Open.

#167 In affeldt-aist/monae;

· affeldt-aist opened on Aug 8, 2025

bindA is incoherent with the associativity of >>=

Status: Open.

#164 In affeldt-aist/monae;

· garrigue opened on Jun 24, 2025

Back port developpment from https://github.com/hivert/Adjoint/

Status: Open.

#145 In affeldt-aist/monae;

· hivert opened on Oct 29, 2024

must cnew make its type argument implicit?

Status: Open.

#139 In affeldt-aist/monae;

· affeldt-aist opened on Jul 12, 2024

factory to buil monads from adjoint functors

Status: Open.

#103 In affeldt-aist/monae;

· affeldt-aist opened on Nov 15, 2022

document factories

Status: Open.

#102 In affeldt-aist/monae;

· affeldt-aist opened on Nov 15, 2022

Minimization of dependencies

Status: Open.

#56 In affeldt-aist/monae;

· eupp opened on Jul 2, 2021

freshMonad should inherit failR0

enhancementNew feature or requestNew feature or request

Status: Open.

#28 In affeldt-aist/monae;

· affeldt-aist opened on Sep 18, 2020

Adding monadic fixpoint to define Mu's quicksort

Status: Open.

#26 In affeldt-aist/monae;

· t6s opened on Sep 16, 2020