solson

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<!-- Generated by: TmTheme-Editor                 -->
<!-- ============================================ -->
<!-- app:  http://tmtheme-editor.herokuapp.com    -->
<!-- code: https://github.com/aziz/tmTheme-Editor -->
<plist version="1.0">
<dict>
	<key>name</key>
	<string>Ariake</string>

solson

//hello RheinNeckarJS

import {
  green,
  cyan,
  bold,
  yellow,
  red
} from "https://deno.land/std/fmt/colors.ts";

solson

        let link = (try {
            let name = s.stream.get("channel")?.get("name")?.as_str()?;
            (try {
                let url = format!("https://twitch.tv/{}", name)
                    .parse::<typed_html::types::Uri>().ok()?;
                html!(<a href={url}>{ text!(name) }</a>):
                    Box<elements::FlowContent<String>>
            }: Option<Box<elements::FlowContent<String>>>)
                .unwrap_or_else(|| Box::new(dom::TextNode::new(name)))

solson

%default total

postulate callCC : ((a -> Void) -> a) -> a

excludedMIddle : Dec a
excludedMiddle = callCC (\assumption => No (\contradiction => void (assumption (Yes y))))

solson

use std::collections::VecDeque;

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
enum State { A, B, C, D, E, F }
// enum State { A, B }

const ITERATIONS: usize = 12_459_852;
// const ITERATIONS: usize = 6;

fn main() {

solson

use std::cmp::max;
use std::collections::{HashMap, HashSet};
use std::iter;

const _SAMPLE_INPUT: &str = "\
0/2
2/2
2/3
3/4
3/5

solson

use std::cmp::max;
use std::collections::{HashMap, HashSet};
use std::iter;

const _SAMPLE_INPUT: &str = "\
0/2
2/2
2/3
3/4
3/5

solson

// 25x25
const INPUT: &str = "\
#.....##.####.#.#########
.###..#..#..####.##....#.
..#########...###...####.
.##.#.##..#.#..#.#....###
...##....###..#.#..#.###.
###..#...######.####.#.#.
#..###..###..###.###.##..
.#.#.###.#.#...####..#...

solson

// 25x25
const INPUT: &str = "\
#.....##.####.#.#########
.###..#..#..####.##....#.
..#########...###...####.
.##.#.##..#.#..#.#....###
...##....###..#.#..#.###.
###..#...######.####.#.#.
#..###..###..###.###.##..
.#.#.###.#.#...####..#...

solson

const INPUT: &str = "\
../.. => .##/##./.#.
#./.. => .#./#.#/##.
##/.. => #.#/#.#/###
.#/#. => #../.#./.#.
##/#. => ##./#.#/..#
##/## => #.#/#.#/...
.../.../... => ..##/##../##../#.#.
#../.../... => ##.#/..#./#.#./.#..
.#./.../... => ..#./##.#/#.##/###.