Kata Library: Haskell Practice

FEATURED TAGS

37 Kata Found

2 kyu

Regular expression parser

889phaul15 Issues Reported

Functional Programming

7 kyu

The dropWhile Function

3,289jgdodson1 Issue Reported

Functional Programming

6 kyu

Reducing by steps

4,236g9643 Issues Reported

Functional Programming

Data Structures

7 kyu

First-Class Function Factory

6,411otajor1 Issue Reported

Functional Programming

7 kyu

Functional Addition

16,993amrdraz2 Issues Reported

Functional Programming

7 kyu

Sum of Odd Cubed Numbers

9,787elliottmck4 Issues Reported

Functional Programming

8 kyu

The 'if' function

29,798user57838710 Issues Reported

Functional Programming

5 kyu

Calculating with Functions

76,527BattleRattle

Functional Programming

Beta

Multidimensional State

6Trouble-Truffle1 Issue Reported

Status:Waiting for issues to be resolved

Estimated Rank:
2 kyu

Functional Programming

2 kyu

Count them all!

158pier-bezuhoff

Functional Programming

7 kyu

Functional Programming

2 kyu

What happened to good old if-statements?

Functional Programming

7 kyu

9,937xcthulhu1 Issue Reported

Functional Programming

Beta

Lazily Grouping

Status:Testing & feedback needed

Estimated Rank:
5 kyu

Functional Programming

1 kyu

Lambda Calculus: Lists as folds II

Data Structures

Functional Programming

6 kyu

Concat me like a fold

39davidmaamoaix

Functional Programming

5 kyu

Lambda Calculus: Lists

Functional Programming

Data Structures

6 kyu

Factorial Lambda Calculus

Functional Programming

4 kyu

A+A=B+B so A=B? Prove it in Haskell!

45ice10002 Issues Reported

Theorem Proving

Functional Programming

4 kyu

Lambda term reduction

57hhelwich1 Issue Reported

Functional Programming

Beta

A+B=B+A? Prove it in using DataKinds!

13ice10001 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
3 kyu

Theorem Proving

Functional Programming

Beta

Fibonacci Lambda Calculus

22Freddie C1 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
4 kyu

Functional Programming

3 kyu

Functional Programming

2 kyu

The most untyped typed language?

74yihongz1 Issue Reported

Functional Programming

6 kyu

One Line Task: Fix

Functional Programming

3 kyu

Lens Apprentice

Functional Programming

2 kyu

Algebraic Isomorphism

508lolisa1 Issue Reported

Functional Programming

7 kyu

Get length of the list recursively

1,375wichu4 Issues Reported

Functional Programming

1 kyu

579xenoexplorator

Functional Programming

6 kyu

Reusable memoisation

2,613JohanWiltink

Functional Programming

Loading...