Skip to content

well-typed/unfolder

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

96 Commits
episode001-unfoldr
episode001-unfoldr
 
 
episode002-quantified-constraints
episode002-quantified-constraints
 
 
episode003-injectivity
episode003-injectivity
 
 
episode004-falsify
episode004-falsify
 
 
episode005-composing-left-folds
episode005-composing-left-folds
 
 
episode006-computing-type-class-dicts
episode006-computing-type-class-dicts
 
 
episode007-learning-by-testing
episode007-learning-by-testing
 
 
episode008-laws
episode008-laws
 
 
episode010-generalBracket
episode010-generalBracket
 
 
episode011-icfp-2023
episode011-icfp-2023
 
 
episode013-open-recursion
episode013-open-recursion
 
 
episode015-interruptible-operations
episode015-interruptible-operations
 
 
episode016-monads-and-deriving-via
episode016-monads-and-deriving-via
 
 
episode017-circular-programs
episode017-circular-programs
 
 
episode019-repeatedly
episode019-repeatedly
 
 
episode020-dijkstras-shortest-paths
episode020-dijkstras-shortest-paths
 
 
episode021-testing-without-reference
episode021-testing-without-reference
 
 
episode022-foldr-build-fusion
episode022-foldr-build-fusion
 
 
episode023-specialization
episode023-specialization
 
 
episode025-java-to-haskell
episode025-java-to-haskell
 
 
episode026-variable-arity-functions
episode026-variable-arity-functions
 
 
episode027-duality
episode027-duality
 
 
episode029-exception-backtraces
episode029-exception-backtraces
 
 
episode030-runst
episode030-runst
 
 
episode031-nothunks
episode031-nothunks
 
 
episode032-tictactoe
episode032-tictactoe
 
 
episode034-monads
episode034-monads
 
 
episode035-distributive-representable
episode035-distributive-representable
 
 
episode036-safe-vs-unsafe-ffi
episode036-safe-vs-unsafe-ffi
 
 
episode037-advent-of-code-andres
episode037-advent-of-code-andres
 
 
episode037-advent-of-code-edsko
episode037-advent-of-code-edsko
 
 
episode038-taste-of-cuda
episode038-taste-of-cuda
 
 
episode040-convolutions
episode040-convolutions
 
 
episode042-typedKanren
episode042-typedKanren
 
 
episode044-lockstep-testing
episode044-lockstep-testing
 
 
episode046-end-to-end-app
episode046-end-to-end-app
 
 
episode047-pure-parallelism
episode047-pure-parallelism
 
 
episode049-shrinking
episode049-shrinking
 
 
episode051-sop-core
episode051-sop-core
 
 
episode053-static-pointers
episode053-static-pointers
 
 
episode054-not-quite-monads
episode054-not-quite-monads
 
 
.gitignore
.gitignore
 
 
.gitmodules
.gitmodules
 
 
README.md
README.md
 
 

Repository files navigation

About

Repository with code snippets that accompany episodes of The Haskell Unfolder

Resources

Readme
Activity
Custom properties

Stars

112 stars

Watchers

12 watching

Forks

7 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages