HERMIT Shell Team

Jump to bottom

Andy Gill edited this page Jul 14, 2015 · 2 revisions

AJG:

pp stuff
testing
proof mode

Can we reify LCore into something the shell understands?

If we use handles, where are the handles stored?