remysucre

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [

remysucre

Carnegie Mellon - Timothy Freeman 
Carnegie Mellon - Shai Geva 
Carnegie Mellon - Sean Levy, Allen Dutoit, Eric Gardner, Eswaran Subrahmanian 
Carnegie Mellon - Scott Draves 
Carnegie Mellon - Rowan Davies 
Carnegie Mellon - Robert Harper 
Carnegie Mellon - Peter Lee 
Carnegie Mellon - Lars Birkedal 
Carnegie Mellon - John Greiner 
Carnegie Mellon - Jeannette Wing 

remysucre

lsblk: show devices
parted /dev/sda
mklabel msdos
mkpart primary ext4 1MiB 100MiB
set 1 boot on
mkpart primary ext4 100 15GiB
mkpart primary linux-swap15 16
mkpart primary ext4 16 100%
mkfs.ext4 /dev/sda1
mkfs.ext4 /dev/sda2

remysucre

module Inf where

import Data.Ratio

type Prob = Rational
type Dist a = a -> Prob
type Face = Int

type Inf a b = b -> Dist a

remysucre

require import Int IntExtra Bool List.
require import DBool.
require import Aprhl.
require import RealExp.
require import Ring.
require import Distr.
require import List.
require import OldMonoid.

op sum : real list -> real.

remysucre

require import List.
require import OldMonoid.
require import RealExp.
require import RealExtra.
require import FSet.

type R = int.
type util = int list * R -> real.
op du : real.
axiom dupos : du > 0%r.

remysucre

{-# LANGUAGE BangPatterns #-}

module Main where

import Language.Haskell.Exts
import Language.Haskell.Exts.Syntax
import Data.Generics.Uniplate.DataOnly

main :: IO ()
main = do

remysucre

package mold;

import java.util.List;

import java.util.Arrays;

class Histogram {
    public static class Pixel {
        public int r, g, b;

remysucre

      program test
      integer i, j, a (20), b (40), c (10, 10)
      real x
      logical d (20)
      x = 3.1415
      j = 1
      a (1 : 20) = b (1 : 40 : 2) + 1
      d = .TRUE. 
      labeled : do i = 1, 1
        do i = 1, 20

remysucre

./arith/Average.java
./arith/Count.java
./arith/Sum.java
./arith/MaxAbs.java
./arith/EqualFrequency.java
./arith/Delta.java
./arith/Max.java
./arith/Min.java
./arith/Equal.java
./arith/ConditionalCount.java