Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
21 check-ins
|
2014-09-13
| ||
| 00:38 | A bit of cleanup in AttrUtils.hs Leaf check-in: 0b13863a1a user: andy tags: trunk | |
| 00:24 | IT LIVES. (phoag can parse input files containing attr definitions, and its output can be parsed and exectued by plain GHC(i).) check-in: 03d04da83d user: andy tags: trunk | |
|
2014-09-12
| ||
| 03:45 | Bunch of code added to AttrUtils to help with parsing/generation. check-in: 71c8f524e1 user: andy tags: trunk | |
|
2014-09-11
| ||
| 23:27 | Added (better) version of ASTPrint utility. check-in: 11df863abb user: andy tags: trunk | |
| 23:26 | Source layout reorganization, to allow for better exe/library separation. check-in: 402f960190 user: andy tags: trunk | |
|
2014-08-19
| ||
| 15:27 | Added the remainder of haskell-src-exts. check-in: 6b9c2f0f03 user: andy tags: trunk | |
| 15:24 | Revised to work with haskell-src-exts. check-in: 8e01e24ab9 user: andy tags: trunk | |
|
2014-08-04
| ||
| 21:45 | Changed a couple variable names to better reflect their use. check-in: 6a91732903 user: andy tags: trunk | |
| 17:50 | Added STLC with explicit contexts development. check-in: 387a0f6965 user: andy tags: trunk | |
|
2014-06-05
| ||
| 18:29 | Everything compiles! And the front end does nothing, just pretty-prints its input without doing any transformation. check-in: 86bca23976 user: andy tags: trunk | |
|
2014-06-02
| ||
| 20:21 | Added clean haskell-src (v 1.0.1.6) before any modification. check-in: 42f4f66f7c user: andy tags: trunk | |
|
2014-03-19
| ||
| 20:08 | Removed spurious \end{document} from the middle of termcalc.tex and rebuilt. check-in: 0fec952327 user: andy tags: trunk | |
| 04:10 | Forgot to add the PDF of termcalc.tex. check-in: 646651beb9 user: andy tags: trunk | |
| 04:08 | Added Dr. Wilson's draft paper on normalization for IPL. check-in: 08f614ffef user: andy tags: trunk | |
|
2014-02-26
| ||
| 18:03 | More papers and discussion. check-in: 34767c02ac user: andy tags: trunk | |
|
2014-02-04
| ||
| 19:08 | Fleshed out a few details on HOAS and its interactions with AGs. check-in: 986ef1835e user: andy tags: trunk | |
|
2014-01-24
| ||
| 17:15 | A couple more papers and links. check-in: 31fa9e0bc0 user: andy tags: trunk | |
|
2014-01-11
| ||
| 02:06 | More papers. check-in: d62b7078b8 user: andy tags: trunk | |
|
2014-01-09
| ||
| 20:06 | A few more papers added. check-in: 79e21c30fe user: andy tags: trunk | |
|
2014-01-08
| ||
| 19:55 | Initial checking: notes and lit. review, relevant-ish papers. check-in: 02d423901f user: andy tags: trunk | |
| 19:38 | initial empty check-in check-in: b826c125e8 user: andy tags: trunk | |