a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

ModeNameSize
-rw-r--r--.gitignore4L
-rw-r--r--Makefile54L
-rw-r--r--README.adoc137L
-rw-r--r--c++/main.cpp47L
-rw-r--r--c/main.c57L
-rw-r--r--elixir/main.ex78L
-rw-r--r--go/main.go122L
-rw-r--r--haskell/Main.hs54L
-rw-r--r--idris/Main.idr54L
-rw-r--r--java/Main.java67L
-rw-r--r--knowledge-base.pl24L
-rw-r--r--kotlin/main.kt59L
-rw-r--r--mercury/main.m16L
-rw-r--r--ocaml/main.ml52L
-rw-r--r--proof.pdf22618B
-rw-r--r--proof.tex57L
-rw-r--r--rust/main.rs69L
-rw-r--r--script.apl24L
-rw-r--r--script.js32L
-rw-r--r--script.py28L
-rw-r--r--script.rb35L
-rw-r--r--script.rkt33L
-rw-r--r--stats.csv3L
-rw-r--r--wasm/main.wat101L