Philipp prednaz
prednaz
/ negate.log
Created
August 11, 2021 18:24
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
| "main" 4 | |
| "false" 12 | |
| "true" 18 | |
| "not" 24 | |
| "negate" 31 | |
| "|" 38 | |
| "&" 48 | |
| "+" 58 | |
| "-" 68 | |
| "*" 78 |
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
| "main" 4 | |
| "false" 12 | |
| "true" 18 | |
| "not" 24 | |
| "negate" 31 | |
| "|" 38 | |
| "&" 48 | |
| "+" 58 | |
| "-" 68 | |
| "*" 78 |
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
| main = -69; |
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
| main = not False; |
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
| main = | |
| if condition | |
| then 69 | |
| else alternative; | |
| condition = false; | |
| alternative = 42;" |
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
| "main" 4 | |
| "condition" 16 | |
| "alternative" 22 | |
| "false" 28 | |
| "true" 34 | |
| "not" 40 | |
| "negate" 47 | |
| "|" 54 | |
| "&" 64 | |
| "+" 74 |
prednaz
/ htwk_english.user.js
Created
August 2, 2021 19:59
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
| // ==UserScript== | |
| // @name htwk_english | |
| // @match https://webcourses.htwk-leipzig.de/tt/index.php?* | |
| // @require https://code.jquery.com/jquery-3.5.1.min.js | |
| // @grant none | |
| // ==/UserScript== | |
| $("input[type='radio']").eq(0).trigger("focus"); | |
| // https://api.jquery.com/on |
prednaz
/ curl_mac.log
Created
July 25, 2021 19:24
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
| % Total % Received % Xferd Average Speed Time Time Time Current | |
| Dload Upload Total Spent Left Speed | |
| 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0* Trying 2604:1380:4641:a100::1... | |
| * TCP_NODELAY set | |
| * Connected to www.haskell.org (2604:1380:4641:a100::1) port 443 (#0) | |
| * ALPN, offering h2 | |
| * ALPN, offering http/1.1 | |
| * successfully set certificate verify locations: | |
| * CAfile: /etc/ssl/cert.pem |
prednaz
/ jquery_mobile_button.html
Created
May 29, 2021 22:05
prednaz
/ fieldAccess3.hs
Last active
January 26, 2021 00:13
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
| {-# language | |
| FlexibleInstances, | |
| MultiParamTypeClasses, | |
| OverloadedLabels, | |
| DuplicateRecordFields, | |
| DataKinds, | |
| UndecidableInstances, | |
| TypeFamilies, | |
| TemplateHaskell | |
| #-} |