leon-vv

Multiple chapters:
        int::to_str(num) --->> std::int::to_str(num)

Chapter 6:
	int::range(1, 101) --->> std::int::range(1, 101)

Chapter 7:
	use core::pipes::{stream, Port, Chan} --->> Nothing?
	extern mod std; --->> extern mod extra;
	use std::comm::DuplexStream; --->> use extra:comm::DuplexStream;

leon-vv

import IdrisScript

Schema : Type
Schema = List (String, Type)

-- First class record
data Record : Schema -> Type where
  RecNil : Record Nil
  RecCons : (key:String) -> (val : t) -> Record lst -> Record ((key, t)::lst)