Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 17, 2022

• Bump version to 0.2.0.0

  Lysxia

  committed
  51242b6

• Remove redundant import

  Lysxia

  committed
  956ca09

Commits on Apr 29, 2022

• CHANGELOG: Create

  Lysxia

  committed
  633b345

• Relax base bound

  Lysxia

  committed
  2465945

• Update authors

  Lysxia

  committed
  4b4604e

• Merge pull request #2 from Lysxia/add-internalise-monad

  Show description for 2ec7958
  SamFrohlich

  authored
  2ec7958

• move coact and internaliseMaybe to own file

  SamFrohlich

  committed
  5fb5ff4

• add coAct and internaliseMaybe

  SamFrohlich

  committed
  846c1fb

Commits on Dec 7, 2018

• README: Update

  Lysxia

  committed
  f7bfa94

• .cabal: Relax base upper bound

  Lysxia

  committed
  c3cc3b2

Commits on Nov 17, 2018

• Add examples of compositional properties in Coq

  Lysxia

  committed
  73b9e24

Commits on Oct 25, 2017

• Bump version bounds

  Lysxia

  committed
  03eb395

Commits on Oct 21, 2017

• Extra related links

  Lysxia

  committed
  12d2e27

• Add codec reference

  Lysxia

  committed
  b8b80ec

• Update README to point to applications

  Lysxia

  committed
  cbf7bfc

Commits on Jun 22, 2017

• Missing FlexibleContexts

  Lysxia

  committed
  640b5ba

Commits on May 8, 2017

• Add manyP, someP, sepByP

  Lysxia

  committed
  0ee329b

Commits on May 7, 2017

• Fix precedence of =.

  Lysxia

  committed
  bfeeb27

• Move type J

  Lysxia

  committed
  6362a8a

• Fix test example

  Lysxia

  committed
  cbea285

• Update documentation of Core

  Lysxia

  committed
  3b2b0b5

• Import standard Profunctor

  Lysxia

  committed
  f23bb16

Commits on Apr 21, 2017

• Rename Contravariant to Cofunctor

  Lysxia

  committed
  34cf6d6

Commits on Jan 9, 2017

• Add cofilter

  Lysxia

  committed
  e824cef

Commits on Dec 29, 2016

• Add J type synonym

  Lysxia

  committed
  ca2229e

• Fix documentation

  Lysxia

  committed
  8dcb28c

• Enable warnings

  Lysxia

  committed
  13d59a6

• Clean up unused imports

  Lysxia

  committed
  27d6065

• Add Profunctor.Monad.Syntax

  Lysxia

  committed
  c0fed0d

• Add generalized 'fail'

  Lysxia

  committed
  a0ce958

• Add 'with' specializations

  Lysxia

  committed
  0f0e56f

• Infix monadic combinator precedences

  Lysxia

  committed
  42b658f

• Move Profunctor.Monad.Contravariant to Profunctor.Monad.Profunctor

  Lysxia

  committed
  3ffee93

Commits on Dec 28, 2016

• Add Profunctor.Monad.Lifts

  Lysxia

  committed
  064b2cc

• Describe laws for Contravariant

  Lysxia

  committed
  879296b

Pagination

PreviousNext