| /** | |
| * This is a ESLint config for a Remix project. | |
| */ | |
| /** @type {import('eslint').Linter.Config} */ | |
| module.exports = { | |
| root: true, | |
| parserOptions: { | |
| ecmaVersion: "latest", | |
| sourceType: "module", |
| sudo openconnect --protocol=anyconnect --user=<Username>@tu-berlin.de https://vpn.tu-berlin.de/ |
| <!DOCTYPE html> | |
| <html lang="en" class="no-js"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width,initial-scale=1.0"> | |
| <style> | |
| html body {width: 100%;height: 100%;padding: 0px;margin: 0px;overflow: hidden;font-family: arial;font-size: 10px;color: #6e6e6e;background-color: #000;} #preview-frame {width: 100%;background-color: #fff;}</style> | |
| <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.7.1/jquery.min.js"></script> | |
| <script> | |
| //function to fix height of iframe! |
| main :: IO () | |
| main = do | |
| starman "covfefe" 10 | |
| putStrLn "Program now shuts down" | |
| --starman super game | |
| starman :: String -> Int -> IO () | |
| starman word n = turn word ['-' | x <- word] n |
Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.
We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.
Copyright © 2017 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x
| map <M-h> previousTab | |
| map <M-l> nextTab | |
| let searchengine hayoo = "http://hayoo.fh-wedel.de/?query=%s" | |
| let completionengines = ["google", "wikipedia", "hayoo"] | |
| let searchalias h = "hayoo" | |
| let hintcharacters = "asdfghjkl;" | |
| let blacklists = ["https://mail.google.com/*","http://localhost/*","https://www.sharelatex.com/*"] |
| Description='eduroam' | |
| Connection='wireless' | |
| Interface=wlp3s0 | |
| Security='wpa-configsection' | |
| Description="eduroam network" | |
| IP='dhcp' | |
| TimeoutWPA=30 | |
| WPAConfigSection=( | |
| 'ssid="eduroam"' | |
| 'proto=RSN' |