Description

A description has not yet been added for this collection.

Ad
7 kyu
Ch02 - beside
64worker4food
Fundamentals
7 kyu
Ch02 - effective plusNat
66worker4food
Fundamentals
Refactoring
7 kyu
Maybe - concat 2 maybe's
250wichu
Fundamentals
6 kyu
Concat me like a fold
44davidmaamoaix
Functional Programming
6 kyu
Keep the balance
25flaco
Recursion
Trees
Algorithms
6 kyu
drop from end
62JohanWiltink
Lists
Performance
Fundamentals
6 kyu
Generalizing fold
105haspience
Recursion
Fundamentals
6 kyu
Guess the number - Monad Edition
109DasBrain
Monads
Puzzles
Algorithms
6 kyu
Each n-th element of list
534hardentoo
Fundamentals
Lists
6 kyu
Binary Tree Top Line
97KacperKorban
Binary Trees
Fundamentals
6 kyu
Rotate 1 / 8th
73JohanWiltink
Arrays
Algorithms
6 kyu
Interpolation Phalanx
129tel
Interpreters
Fundamentals
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
6 kyu
Daggerlang
216tel
Interpreters
Fundamentals
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Combinations
244ninjasmodyurt
Lists
Fundamentals
6 kyu
Hutton's Razor
454tel
Interpreters
Fundamentals
5 kyu
All Expressions Matter
16mirkeau
Fundamentals
Algorithms
5 kyu
Rescue a Ship on the Integer Sea
16glebec
Mathematics
Streams
Puzzles
Algorithms
5 kyu
Trees to Parentheses, and Back
123oisdk
Trees
Fundamentals
5 kyu
Lambda Calculus: Lists
104Freddie C
Functional Programming
Fundamentals
Lists
Data Structures
5 kyu
Directory tree
89ecolban
Fundamentals
5 kyu
Shortest list, lazily
128matthewmoppett
Lists
Fundamentals
5 kyu
Peano numbers
413jariazavalverde
Data Structures
Algorithms
5 kyu
Binary Search Trees
609ecolban
Object-oriented Programming
Algorithms
Data Structures
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
46ice1000
Theorem Proving
Functional Programming
Fundamentals
4 kyu
Snake Cube Solver
56Paul Robertson
Recursion
Geometry
Puzzles
Algorithms
Game Solvers
Graph Theory
4 kyu
Lambda term reduction
61hhelwich
Mathematics
Logic
Functional Programming
Algorithms
Trees
4 kyu
Escape the Mines or die !
127ice1000
Algorithms
Data Structures
Graph Theory
4 kyu
Template Haskell: Tuple maker
134AJFarmar
Metaprogramming
Fundamentals
4 kyu
Brace expansion
138arhigod
Strings
Algorithms
4 kyu
Simple Syntax Tokenizing
193AJFarmar
Strings
Parsing
Algorithms
4 kyu
JSON Parser
202joebandenburg
JSON
Parsing
Algorithms
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Fix it
548gans
Fundamentals
4 kyu
Functional streams
739muesli4
Streams
Functional Programming
Algorithms
3 kyu
Integer to Nested Structure
141Voile
Mathematics
Puzzles
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Mathematics
Data Structures
Algebra
Strings
Algorithms
3 kyu
Data Types à la Carte [fork]
183lolisa
Fundamentals
Functional Programming
Puzzles
3 kyu
Lens Apprentice
237glebec
Functional Programming
Fundamentals
Tutorials
3 kyu
Recurrence relations
278Ivana
Performance
Fundamentals
3 kyu
Isomorphism
895lolisa
Functional Programming
Fundamentals
2 kyu
Operator Parser
101matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
I love Lisp
149ice1000
Mathematics
Fundamentals
Puzzles
2 kyu
Count them all!
168pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
2 kyu
Yoneda lemma
175pier-bezuhoff
Mathematics
Fundamentals
2 kyu
Finally tagless interpreter
304tel
Interpreters
Algorithms
2 kyu
Writing applicative parsers from scratch
339muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Singletons
450mpickering
Fundamentals
2 kyu
Simple SQL Engine
493SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
2 kyu
Algebraic Isomorphism
530lolisa
Functional Programming
Fundamentals
Tutorials
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Number Theory
Fundamentals
2 kyu
Regular expression parser
1,014phaul
Parsing
Functional Programming
Algorithms
2 kyu
Evaluate mathematical expression
9,508ankr
Mathematics
Parsing
Algorithms
1 kyu
Lambda Calculus: Lists as folds II
30JohanWiltink
Algorithms
Lists
Data Structures
Functional Programming
1 kyu
A*B=B*A? Prove it!
212ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
Peano and Church
321lolisa
Fundamentals
1 kyu
Lensmaker
380tel
Fundamentals
Functional Programming
Puzzles
1 kyu
A+B=B+A? Prove it!
460AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
598xenoexplorator
Functional Programming
Fundamentals
1 kyu
BECOME IMMORTAL
3,057Voile
Puzzles
Dynamic Programming
Performance
Algorithms