Small Rew module in which we tested rewriting with an algebraic data type
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:58:20 +0000 (22:58 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:58:20 +0000 (22:58 -0400)
commit37aaa1fb943bc566f33040fa4485455b7f332cb5
treede27e908054007e948295803f84988c92acb9d53
parent90f568a0463a7219f35cd7f58a9bcd1386ecfdb9
Small Rew module in which we tested rewriting with an algebraic data type
paper/.gitignore
paper/Rew.hs [new file with mode: 0644]