Kata Training

Loading List concatenation is injective? Prove it!

5 kyu

Loading List concatenation is injective? Prove it!

5 kyu

List concatenation is injective? Prove it!

22 of 65lwoo19991 Issue Reported

Language

Agda (Beta)

Idris (Beta)
Language Version

- VIM
- EMACS

Loading description...

Algorithms

Mathematics

Lists

Theorem Proving

Puzzles

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit