This file contains 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
Set-NetConnectionProfile -Name "Network" -NetworkCategory Private |
This file contains 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
Get-NetConnectionProfile |
This file contains 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
module Main | |
import Data.List | |
data Creep : Type where [external] | |
data Flag : Type where [external] | |
moveTo : (HasIO io) => Creep -> Flag -> io () | |
moveTo creep flag = pure () |
This file contains 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
import std/num/random | |
effect control eat-icecream() : () | |
effect control check-cost() : int // returns the cost in int | |
fun my-eat-icecream() { | |
eat-icecream(); | |
val cost = check-cost(); | |
if (cost > 2) | |
{ |
This file contains 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
import * as R from 'ramda' | |
let points = [31000, 31000, 31000, 7000] | |
let uma = [30000, 10000, -10000, -30000] | |
let points_and_uma = R.zip(points, uma) | |
let grouped_by_tie = R.groupWith((a, b) => a[0] == b[0], points_and_uma) | |
let process_ties = (ties: [number, number][]) => { | |
let total_uma = R.sum(R.map(t => t[1], ties)) | |
let average_uma = total_uma / ties.length |
This file contains 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
[10:56:33 PM][spawn Spawn1] | |
[10:56:33 PM]room | |
[10:56:33 PM][room W4N8] | |
[10:56:33 PM]name | |
[10:56:33 PM]([(Right "Bella")] : Nil) | |
[10:56:33 PM][structure (controller) #946b07739d98cb7] | |
[10:56:33 PM]structureType | |
[10:56:33 PM][spawn Spawn1] | |
[10:56:33 PM]structureType | |
[10:56:33 PM][spawn Spawn1] |
This file contains 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
findChanges :: Money -> [Money] -> Maybe [Money] | |
findChanges bill changes | |
| bill == 0 = Just changes | |
| bill < 0 = Nothing | |
| [] <- changes = Nothing | |
| (x : xs) <- changes = let result = findChanges (bill - x) xs in case result of Just c -> Just c | |
Nothing -> findChanges bill xs |
This file contains 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
#!/bin/bash | |
#Don't change my filename. | |
#Put it into your worlds/(worldname)/players folder | |
#and execute this script. | |
FILES=./* | |
for f in $FILES | |
do | |
if [ "$f"x = "./checkpae.shx" ]; then | |
continue | |
else |