Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/TODO
ViewVC logotype

View of /sml/trunk/src/cm/TODO

Parent Directory Parent Directory | Revision Log Revision Log


Revision 577 - (download) (annotate)
Fri Mar 10 08:07:18 2000 UTC (20 years, 1 month ago) by blume
File size: 332 byte(s)
improved version of Dave's fixpt script added
- Try to generalize CM by abstracting from programming language (and compiler),
  so it can work with Twelf, TILT, or things like HOL
- Generic notification architecture (ErrorMsg module, Say module, ...)
- handling of non-generalizability should move to later moment in time
- lazy environment stubs
- environment canonicalization

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0