elderica

import System.IO.Unsafe (unsafePerformIO)
import System.IO (hFlush, stdout)
import System.Random (randomRIO)
import Control.Monad (foldM_)
import Data.Functor ((<$>))
import System.Exit (exitSuccess)

-- prerequisite
mapSize :: Int
mapSize = 9

halcat0x15a

Inductive P : Set :=
    I : P
  | PS : P -> P.

Fixpoint Padd (n m : P) : P :=
  match n with
  | I => PS m
  | PS n' => PS (Padd n' m)
  end.

xuwei-k

import clojure.lang.{RT,Compiler}

object Main{

  def main(args:Array[String]){
    println(Compiler.eval(RT.readString("(+ 1 2 3 4)")))
  }

}