Mercurial > urweb
diff src/expl_env.sml @ 47:ac4c0b4111ba
Give functor.lac a 'main'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 18:13:33 -0400 |
parents | d16ef24de78b |
children | 0a5c312de09a |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 18:13:33 -0400 |
parents | d16ef24de78b |
children | 0a5c312de09a |