icsaba

import random
import sys

import itertools

queens, n = {}, 8


def get_rows(x):
    return (q for q in queens.keys() if q and q[0] == x)

icsaba

module dijsktra

import StdEnv


// http://lambda.inf.elte.hu/Dijkstra.xml

::Vertex   :== Int
::Weight   :== Int
::Edge     :== (Vertex, Vertex, Weight)

icsaba

module Homework1 where

    data Nat = Zero | Suc Nat
        deriving (Show, Eq)
    
    addNat :: Nat -> Nat -> Nat
    addNat Zero Zero = Zero
    addNat a Zero = a
    addNat Zero b = b
    addNat (Suc a) (Suc b) = addNat (Suc(Suc a)) b

icsaba

import scalaz.Functor

object FunctorExample extends App{

  implicit val optionFunctor: Functor[Option] = new Functor[Option] {
    override def map[A, B](fa: Option[A])(f: A => B): Option[B] = fa match {
      case None => None
      case _ => Some(f (fa.get))
    }
  }

icsaba

package obsxvv;

import java.util.concurrent.*;

/** Game of Life. */
public class Life {

    /** Invariant: <code>
     from != null & to != null &
     from.length == to.length != 0 &

icsaba

package obsxvv;
import java.util.*;
import java.util.concurrent.*;

/** An immutable board of non-attacking queens. */
class Board {

    /** An immutable linked list of int values. */
    protected static class Node {
        protected final int value;

icsaba

const fs = require('fs');

const buffer = fs.readFileSync('input');
const file = buffer.toString().split('\n');

function calcConsumption(amount) {
    const tmp = Math.floor(+amount / 3) - 2;
    return (tmp > 0) ? tmp + calcConsumption(tmp) : 0;
}

icsaba

/** Usage
* 
* file: someAction.js
*
* export const SOMEVAR = 'SOMEVAR';
* 
* export function fetchSomething(callbackOnDone, ...args) {
*   return actionCreator({
*     actionName: SOMEVAR,
*     getResult(data) { return data.someProperty },

icsaba

context.init({
  propName: someValue, 
  propName2: { nestedData: [] } 
});

icsaba

class MyLitComponent extends LitElement {
  
  static get properties() {
    return {
      somepropFromContext: {
        type: Number, 
        fromContext: true
      },
      renamedProp: {
        type: String,