Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Sep 15, 2024

• Replace pattern matching with combinators

  Masynchin

  committed
  1760958

  Copy full SHA for 1760958

Commits on Aug 25, 2024

• Rewrite maxOption a bit

  Masynchin

  authored
  09061a9

  Copy full SHA for 09061a9

• Clarify refactoring meaning

  Masynchin

  authored
  db27f2e

  Copy full SHA for db27f2e

• Emphasize on PR

  Masynchin

  authored
  22ba186

  Copy full SHA for 22ba186

Commits on Jul 27, 2024

• Make github profile handle linkable

  Masynchin

  committed
  621d371

  Copy full SHA for 621d371

• Add coq proofs for "Use laws"

  Masynchin

  committed
  a5db437

  Copy full SHA for a5db437

• Use laws

  Masynchin

  committed
  b3037f8

  Copy full SHA for b3037f8

Commits on Oct 10, 2023

• Clear your intensions

  Masynchin

  committed
  f5ab388

  Copy full SHA for f5ab388

• Get rid of Applicative[F].unit

  Masynchin

  committed
  06a8a53

  Copy full SHA for 06a8a53

• Needless for-comprehension

  Masynchin

  committed
  228c8e1

  Copy full SHA for 228c8e1

Commits on Aug 13, 2023

• Stream methods

  Masynchin

  committed
  8222663

  Copy full SHA for 8222663

Commits on Jun 8, 2023

• Reduce vs Fold

  Masynchin

  committed
  0b0cfb9

  Copy full SHA for 0b0cfb9

Commits on Jun 2, 2023

• The power of reduce

  Masynchin

  committed
  52d72d7

  Copy full SHA for 52d72d7

• Extend README

  Masynchin

  committed
  e8e0ce5

  Copy full SHA for e8e0ce5

• Add links

  Masynchin

  committed
  1ba21a2

  Copy full SHA for 1ba21a2

• maxOption / lastOption

  Masynchin

  committed
  eebdf42

  Copy full SHA for eebdf42

• For-comprehension

  Masynchin

  committed
  6afb894

  Copy full SHA for 6afb894

Commits on Feb 1, 2023

• Initial commit

  Masynchin

  authored
  80aaf7e

  Copy full SHA for 80aaf7e