minikanren

pragprog ,  elixir ,  julia ,  lua ,  published-book ,  factor ,  elm ,  minikanren ,  idris ,  book-seven-more-languages-in-seven-weeks