2009-08-25 | Matthijs Kooijman | Update the pret-trans to current context beta. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Update the pret-lam to current context beta. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Fix typo in SConstruct file. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Add a Hardware description chapter, that describes... |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Make Core2Core a chapter in the report. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Make Report use globbing for dependencies. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Remove debug print from pret-haskell.lua. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Define a \hs command for inline Haskell. |
commit | commitdiff | tree |
2009-08-25 | Matthijs Kooijman | Fix a comment. |
commit | commitdiff | tree |