swizard0

    let Expr
        : Type
        =   ∀(E : Type)
          → ∀(lit : Natural → E)
          → ∀(neg : E → E)
          → ∀(add : E → E → E)
          → E

in  let formula
        : Expr

swizard0

    let Expr
        : Type
        = ∀(E : Type) → ∀(lit : Natural → E) → ∀(add : E → E → E) → E

in  let formula
        : Expr
        =   λ(E : Type)
          → λ(lit : Natural → E)
          → λ(add : E → E → E)
          → add (lit +3) (add (lit +7) (lit +4))

swizard0

use std::io::{self, Write};

// messages

struct MsgLogin(String);

struct MsgGreet;

struct MsgLogout;

swizard0

extern crate crypto;
extern crate sys_info;
extern crate rustc_serialize;
use std::sync::{Arc, mpsc};
use crypto::md5::Md5;
use crypto::digest::Digest;
use rustc_serialize::hex::FromHex;

fn next_byte(x: u8) -> u8 {
    match x {

swizard0

(defparameter *p1* 2d0)

(defparameter *p2* 3d0)

(defparameter *p3* 4)

(declaim (fixnum *p3*)
         (double-float *p1* *p2*))

(defun main ()

swizard0

(defparameter *p1* 2d0)

(defparameter *p2* 3d0)

(defparameter *p3* 4)

(declaim (fixnum *p3*)
         (double-float *p1* *p2*))

(defstruct other-ret

swizard0

import Data.List
import Data.Function (on)
import Data.Maybe (fromJust)
import System.IO

inputMatrix = [("Наличие бомбурий", ["Да", "Да", "Нет", "Да", "Нет"]),
               ("Количество клептиконов", ["1", "1", "0", "3", "5"]),
               ("Цвет велория", ["Красный", "Оранжевый", "Оранжевый", "—", "Синий"]),
               ("Наличие пумпеля", ["Нет", "Да", "Да", "—", "—"]),
               ("Величина пумпеля", ["—", "Большой", "Маленький", "—", "—"]),