Difference between revisions of "Combinator Pearls"
Jump to navigation
Jump to search
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
This page lists programming examples for fun and ''functional pearls'', programs that albeit simple can show and teach interesting principles and techniques. | This page lists programming examples for fun and ''functional pearls'', programs that albeit simple can show and teach interesting principles and techniques. | ||
| + | |||
| + | *[[Uber die Bausteine der mathematischen Logik | On the Building Blocks of Mathematical Logic]] | ||
| + | |||
| + | *[[Combinator Birds]] | ||
| + | |||
| + | *[[Semantically]] | ||
*[[Fibs and Facts]] | *[[Fibs and Facts]] | ||
| Line 9: | Line 15: | ||
*[[Scheduling with Wheels]] | *[[Scheduling with Wheels]] | ||
| − | *[[ | + | *[[Hanoi Towers]] |
| + | |||
| + | *[[Sorting with Morphisms]] | ||
| + | |||
| + | *[[Lam2Combi | Making a simple REPL for structured combinators ]] | ||
Latest revision as of 02:33, 22 July 2022
This page lists programming examples for fun and functional pearls, programs that albeit simple can show and teach interesting principles and techniques.