a-conjecture-of-mine
An exercise on polyglossy: the same problem solved on multiple languages
| Mode | Name | Size |
-rw-r--r-- |
.gitignore | 4L |
-rw-r--r-- |
Makefile | 54L |
-rw-r--r-- |
README.adoc | 137L |
-rw-r--r-- |
c++/main.cpp | 47L |
-rw-r--r-- |
c/main.c | 57L |
-rw-r--r-- |
elixir/main.ex | 78L |
-rw-r--r-- |
go/main.go | 122L |
-rw-r--r-- |
haskell/Main.hs | 54L |
-rw-r--r-- |
idris/Main.idr | 54L |
-rw-r--r-- |
java/Main.java | 67L |
-rw-r--r-- |
knowledge-base.pl | 24L |
-rw-r--r-- |
kotlin/main.kt | 59L |
-rw-r--r-- |
mercury/main.m | 16L |
-rw-r--r-- |
ocaml/main.ml | 52L |
-rw-r--r-- |
proof.pdf | 22618B |
-rw-r--r-- |
proof.tex | 57L |
-rw-r--r-- |
rust/main.rs | 69L |
-rw-r--r-- |
script.apl | 24L |
-rw-r--r-- |
script.js | 32L |
-rw-r--r-- |
script.py | 28L |
-rw-r--r-- |
script.rb | 35L |
-rw-r--r-- |
script.rkt | 33L |
-rw-r--r-- |
stats.csv | 3L |
-rw-r--r-- |
wasm/main.wat | 101L |