Skip to content

Commit

Permalink
Tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
Richard Eisenberg committed May 21, 2015
1 parent 59b5089 commit c39eb56
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 1 deletion.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,9 @@ This should make your computer spin for a little while. In the meantime,
enjoy the talk! (If you have trouble with `cabal sandbox`, possibly because
of an old `cabal`, try the sequence of commands above without that step.)

Exercises 1 and 2 do *not* require those dependencies, so you can work on
them while compiling dependencies.

Instructions for exercises:
- [Exercise 1](Exercise1.md)
- [Exercise 2](Exercise2.md)
Expand Down
7 changes: 6 additions & 1 deletion pres/notes.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@

Prep:
- ghc-7.10
- ex3 branch
- correctly-built glam

0. get folks to cabal install --only-dependencies -j<# of processors> (0:00-0:02))

I. Intro (0:02-0:07)
Expand Down Expand Up @@ -42,7 +47,7 @@ VII. Glambda
- de Bruijn indices
- :step (\x:Int. (\y:Int. x) 3 + x) 4

- code: Type, Exp (1:20-1:30)
- code: Exp (1:20-1:30)
- Exp, starting with Int & Bool
- Elem
- Var
Expand Down
Binary file modified pres/slides.key
Binary file not shown.

0 comments on commit c39eb56

Please sign in to comment.