Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 3, 2025

• Merge pull request #189 from brandonzstride/add-jaylang

  Show description for 69cf99c
  xvw

  authored
  69cf99c

  Copy full SHA for 69cf99c

Commits on Apr 2, 2025

• Add Jaylang in the README

  brandonzstride

  committed
  b535c9a

  Copy full SHA for b535c9a

Commits on Mar 4, 2025

• Fix opam file for `test`

  xvw

  committed
  481e18e

  Copy full SHA for 481e18e

Commits on Feb 27, 2025

• Fix (encore) QCheck-core version

  xvw

  committed
  904d5db

  Copy full SHA for 904d5db

• Restrict smallest version of Qcheck

  xvw

  committed
  e241b11

  Copy full SHA for e241b11

Commits on Feb 26, 2025

• Change QCheck boundaries

  xvw

  committed
  899bc52

  Copy full SHA for 899bc52

• Fix qcheck version bound

  xvw

  committed
  cee93ec

  Copy full SHA for cee93ec

• Update changelog

  xvw

  committed
  2cff3df

  Copy full SHA for 2cff3df

• Upgrade gh-action

  xvw

  committed
  ae30c2e

  Copy full SHA for ae30c2e

• Some fix

  xvw

  committed
  6d41454

  Copy full SHA for 6d41454

Commits on Mar 29, 2023

• Merge pull request #185 from Hakimba/lattice

  Show description for ea7d40f
  xhtmlboi

  authored
  ea7d40f

  Copy full SHA for ea7d40f

Commits on Mar 24, 2023

• add Lattice abstraction

  Hakimba

  committed
  e864e04

  Copy full SHA for e864e04

Commits on Mar 1, 2023

• Merge pull request #184 from Hakimba/bounded-lattice

  Show description for 7365f60
  xhtmlboi

  authored
  7365f60

  Copy full SHA for 7365f60

Commits on Feb 28, 2023

• rename bounded lattice modules

  Hakimba

  committed
  cfe7dad

  Copy full SHA for cfe7dad

Commits on Feb 27, 2023

• get rid of the type t inside of a submodule in API (since Indexable work)

  Hakimba

  committed
  e2a7339

  Copy full SHA for e2a7339

Commits on Feb 23, 2023

• add the corresponding entry in changes file

  Hakimba

  committed
  2979a43

  Copy full SHA for 2979a43

• add bounded lattic abstraction

  Hakimba

  committed
  dccaba9

  Copy full SHA for dccaba9

Commits on Feb 13, 2023

• Merge pull request #183 from mspwn/indexed-functors

  Show description for 51892a7
  gr-im

  authored
  51892a7

  Copy full SHA for 51892a7

• Add Indexed abstraction for result

  mspwn

  committed
  25ad15d

  Copy full SHA for 25ad15d

• Remove Manifest types in submodules

  mspwn

  committed
  1550b34

  Copy full SHA for 1550b34

• Full strenghtening removing manifest in submodules

  mspwn

  committed
  6ff0fec

  Copy full SHA for 6ff0fec

Commits on Feb 1, 2023

• Some final fixes

  mspwn

  committed
  fcb795c

  Copy full SHA for fcb795c

• Add `Indexed_foldable`

  Show description for 88d0281
  

  mspwn

  and

  xvw

  committed
  88d0281

  Copy full SHA for 88d0281

• Add `Indexed_comonad`

  Show description for 4d20f8a
  

  mspwn

  and

  xvw

  committed
  4d20f8a

  Copy full SHA for 4d20f8a

• Add `Indexed_monad_plus`

  Show description for 341a2ba
  

  mspwn

  and

  xvw

  committed
  341a2ba

  Copy full SHA for 341a2ba

• Add `Indexed_monad` (and propagate ^laws in LAWS)

  Show description for d82c68a
  

  mspwn

  and

  xvw

  committed
  d82c68a

  Copy full SHA for d82c68a

• Add `Indexed_bind`

  Show description for c0bb4e1
  

  mspwn

  and

  xvw

  committed
  c0bb4e1

  Copy full SHA for c0bb4e1

• Add `Indexed_selective`

  Show description for 1baccf0
  

  mspwn

  and

  xvw

  committed
  1baccf0

  Copy full SHA for 1baccf0

• Add `Indexed_alternative`

  Show description for 7260a6d
  

  mspwn

  and

  xvw

  committed
  7260a6d

  Copy full SHA for 7260a6d

• Add `Indexed_applicative`

  Show description for e88ca77
  

  mspwn

  and

  xvw

  committed
  e88ca77

  Copy full SHA for e88ca77

• Add `Indexed_apply`

  Show description for 78b1b73
  

  mspwn

  and

  xvw

  committed
  78b1b73

  Copy full SHA for 78b1b73

• Add `Indexed alt`

  Show description for 994cc1b
  

  mspwn

  and

  xvw

  committed
  994cc1b

  Copy full SHA for 994cc1b

• Add Laws for Indexed functor

  Show description for 8e5c427
  

  3 peoplecommitted
  8e5c427

  Copy full SHA for 8e5c427

• Express `Make.Functor` in term of `Indexed`

  Show description for bba587f
  

  3 peoplecommitted
  bba587f

  Copy full SHA for bba587f

• Add `Make.Indexed_functor`

  Show description for ee39773
  

  mspwn

  and

  xvw

  committed
  ee39773

  Copy full SHA for ee39773

Pagination

Previous

Next