Skip to content

Activity

Showing most recent first

Replace pattern matching with combinators

Masynchinpushed 1 commit to main • 09061a9…1760958 • 
on Sep 15, 2024

Rewrite maxOption a bit

Masynchinpushed 1 commit to main • db27f2e…09061a9 • 
on Aug 25, 2024

Clarify refactoring meaning

Masynchinpushed 1 commit to main • 22ba186…db27f2e • 
on Aug 25, 2024

Emphasize on PR

Masynchinpushed 1 commit to main • 621d371…22ba186 • 
on Aug 25, 2024

Make github profile handle linkable

Masynchinpushed 1 commit to main • a5db437…621d371 • 
on Jul 27, 2024

Add coq proofs for "Use laws"

Masynchinpushed 1 commit to main • b3037f8…a5db437 • 
on Jul 27, 2024

Use laws

Masynchinpushed 1 commit to main • f5ab388…b3037f8 • 
on Jul 27, 2024

Clear your intensions

Masynchinpushed 1 commit to main • 06a8a53…f5ab388 • 
on Oct 10, 2023

Get rid of Applicative[F].unit

Masynchinpushed 2 commits to main • 8222663…06a8a53 • 
on Oct 10, 2023

Stream methods

Masynchinpushed 1 commit to main • 0b0cfb9…8222663 • 
on Aug 13, 2023

Reduce vs Fold

Masynchinpushed 1 commit to main • 52d72d7…0b0cfb9 • 
on Jun 8, 2023

The power of reduce

Masynchinpushed 1 commit to main • e8e0ce5…52d72d7 • 
on Jun 2, 2023

Extend README

Masynchinpushed 1 commit to main • 1ba21a2…e8e0ce5 • 
on Jun 2, 2023

Add links

Masynchinpushed 1 commit to main • eebdf42…1ba21a2 • 
on Jun 2, 2023

maxOption / lastOption

Masynchinpushed 1 commit to main • 6afb894…eebdf42 • 
on Jun 2, 2023

For-comprehension

Masynchinpushed 1 commit to main • 80aaf7e…6afb894 • 
on Jun 2, 2023