sqbi sqbi-q
sqbi-q
/ wat_in_lisp.lisp
Created
August 23, 2025 15:04
Handle WebAssembly Text s-expr syntax in Lisp
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;gnu clisp 2.49.60 | |
| ;;;; readtable modifications | |
| ;(setq backslash-macro (get-macro-character #\\)) ; default macro under \ (NIL unfortunately) | |
| (setq quotation-macro (get-macro-character #\")) ; default macro under " | |
| (defun nop-backslash-macro (stream char) ) | |
| (defun wrap-quotation-macro (stream char) | |
| (setq x (funcall quotation-macro stream char)) | |
| (concatenate 'string "\"" x "\"")) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| injective(f) := block([x:x, y:y, q:q], | |
| q: f(x) = f(y), | |
| is(equal(solve(q, x), [x=y])) | |
| ); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |