For problem 1 and 2, try to reproduce the problem text with exactly the same formatting as below.

1. Basic Text Typewriting.

Here is a list:

• item 1
• item 2
• item 3
• subscripting: Black_pit; superscripting: Blue^sky

This is a Boldface words. Newly introduced notion will be emphasized in italic font such as group theory. We could also add boldface to it, e.g., group theory.

Mathematics can be inlined like . Or, they can be elegantly presented in standalone blocks like below:

The above theorem can be referenced as Equation (1). We may prove it as a theorem:

2. Basics of typesetting code

Below is a Javascript program snippet

function hello() {
  return "hello world!"
}

Here is the Java code we mentioned in the first lecture:

  int total = 0;
  for (int i = 1; i <= 10; i++)
    total = total + i;

And typing up Haskell is as easy:

f :: [Int] -> [Int]
f []     = []
f (x:xs) = f ys ++ [x] ++ f zs
  where
    ys = [a | a  xs, a  x]
    zs = [b | b  xs, b > x]

3. Practice Save and Load.

Synchronize and Pull your ongoing work (from github) as you are editing it.

4. More Reading

Read Section 3 and 4 of Madoko reference manual. Describe two of your favorite features that we didn't mention in class.

5. Hands-On

Install the Haskell platform and try out examples we talked in class. Note down two of your favorite trials (you are especially encouraged to try out things we haven't talked about in class). You can copy the command line text-scripts and paste them between two lines of (identical number of) consecutive backquotes. $ ghci GHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for help Prelude λ>

If you want nicer formatting, you could use

$ ghci
GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
Prelude λ> 

6. Submit

Generate html and pdf files to submit along with your mdk file through Canvas.