talk-2012-folds-and-unfolds

(★ 12)

Talk on folds & unfolds (and combinations) for general algebraic data types

talk-2012-folds-and-unfolds Latest Version Download

Download Latest Version (.zip)

Today's picks

deepseek-harness ★ 179,877

DeepSeek Harness: Everything is a Plugin.

TypeScript
odysseus ★ 85,872

Self-hosted AI workspace.

Python
weekly ★ 100,534

科技爱好者周刊，每周五发布
localsend ★ 88,885

An open-source cross-platform alternative to AirDrop

Dart
TypeScript ★ 110,354

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Go
angular ★ 101,004

Deliver web apps with confidence 🚀

TypeScript
// repository documentation