Skip to content

Instantly share code, notes, and snippets.

View prednaz's full-sized avatar

Philipp prednaz

6 followers · 0 following
View GitHub Profile
@prednaz
prednaz / foldr_step.hs
Last active July 24, 2020 14:07
data Tuple a b = Tuple a b
snd :: Tuple a b -> b
snd = \tuple -> case tuple of Tuple _a b -> b
data List a = Cons a (List a) | Nil
foldr :: (a -> b -> b) -> b -> List a -> b
foldr =
@prednaz
prednaz / ExistentialGhosts.hs
Created October 23, 2020 21:55
{-# language
ExistentialQuantification,
MultiParamTypeClasses,
FunctionalDependencies,
FlexibleInstances,
TypeOperators,
RankNTypes
#-}
module ExistentialGhosts where
@prednaz
prednaz / fieldAccess1.hs
Created January 25, 2021 23:05
data Tile = Empty Position | Wall Position
data Position = Position Double Double
tiles :: [Tile]
tiles =
[Wall (Position 0 0), Wall (Position 0 1), Wall (Position 0 2)]
tilesFiltered r = [tile | tile <- tiles, norm tile < r]
norm :: Tile -> Double
@prednaz
prednaz / fieldAccess2.hs
Created January 25, 2021 23:06
data Tile =
Empty {position :: Position} |
Wall {position :: Position}
data Position =
Position
{
x :: Double,
y :: Double
}
@prednaz
prednaz / fieldAccess3.hs
Last active January 26, 2021 00:13
{-# language
FlexibleInstances,
MultiParamTypeClasses,
OverloadedLabels,
DuplicateRecordFields,
DataKinds,
UndecidableInstances,
TypeFamilies,
TemplateHaskell
#-}
@prednaz
prednaz / jquery_mobile_button.html
Created May 29, 2021 22:05
<!doctype html>
<html>
<head>
<meta charset="utf-8" />
<link rel="stylesheet" href="https://ajax.googleapis.com/ajax/libs/jquerymobile/1.4.5/jquery.mobile.min.css">
</head>
<body>
<button id="play">play</button>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
@prednaz
prednaz / curl_mac.log
Created July 25, 2021 19:24
% 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
prednaz / htwk_english.user.js
Created August 2, 2021 19:59
// ==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
prednaz / if.log
Last active August 10, 2021 17:10
"main" 4
"condition" 16
"alternative" 22
"false" 28
"true" 34
"not" 40
"negate" 47
"|" 54
"&" 64
"+" 74
@prednaz
prednaz / if.hs
Created August 10, 2021 16:52
main =
if condition
then 69
else alternative;
condition = false;
alternative = 42;"