sqbi-q

from tkinter import *
from tkinter import ttk

'''
Zamysł okna:
          ---------------------- inputy, do których wpisywane
         '          '            będą wartości (ttk.Entry())
------- / -------- / ------
| ..... v ........ v .... |
| . ________   ________ . <----- frame przechowywujący inputy

sqbi-q

injective(f) := block([x:x, y:y, q:q], 
  q: f(x) = f(y), 
  is(equal(solve(q, x), [x=y]))
);

sqbi-q

#include <iostream>
#include <memory>
#include <optional>

class not_found_error : public std::logic_error {
    using std::logic_error::logic_error;
};

// Head - Tail List
// Inspired by Prolog lists