]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added horrible problem, showing hard dependency on encodings permutations
authoracondolu <andrea.condoluci@unibo.it>
Wed, 26 Jul 2017 14:06:31 +0000 (16:06 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 26 Jul 2017 14:06:31 +0000 (16:06 +0200)
commitf77b8aeb57b5ce0bcbc87a31a7f3dd74292e6d66
tree9e6b330678416f7c81a34073b3eed4c134cad7b9
parent6d9e673e3a6896f487988d897f927d07104d6a73
Added horrible problem, showing hard dependency on encodings
ocaml/problems/encoding_horror [new file with mode: 0644]