swlaschin

(*
This script analyzes the dependencies between top level types in a .NET Assembly.
It is then used to compare the dependency relationships in some F# projects with those in some C# projects.

Note that no attempt has been made to optimize the code yet! 

REQUIRES:

* Mono.Cecil for code analysis
  From http://www.mono-project.com/Cecil#Download 

sanxiyn

extern mod std;

fn lt<T: Ord>(a: Option<T>, b: Option<T>) -> bool {
    match (a, b) {
        (None, None) => false,
        (None, Some(_)) => true,
        (Some(_), None) => false,
        (Some(a), Some(b)) => a < b
    }
}

cookrn

Couldn't find the text of this for a while...

• Original (404'ed) -- https://plus.google.com/115094562986465477143/posts/Di6RwCNKCrf
• Fakeout -- http://www.dzone.com/links/rss/ryan_dahl_i_hate_almost_all_software.html
• Repost -- https://plus.google.com/116904230181415286707/posts/DnAMAN5sUR8

aztek

Require Import Coq.Program.Basics.
Require Import Coq.Program.Syntax.
Require Import Coq.Init.Datatypes.
Require Import Coq.Unicode.Utf8.

Open Local Scope program_scope.
Open Local Scope list_scope.
Open Local Scope type_scope.

Class Functor (φ : Type → Type) := {

nicolasff

module Main where
 
import Control.Monad.Writer
import System(getArgs, getProgName)
 
data Column = LeftCol | MiddleCol | RightCol
instance Show Column where
  show LeftCol = "left"
  show MiddleCol = "middle"
  show RightCol = "right"