Welcome to Jake Donham (http://www.cs.cmu.edu/~jdonham), who has joined the MLton mailing list. Jake is a CS PhD student at CMU, working under Karl Crary. He has been using the MLton-compiled Twelf for checking the (large) safety proof of TALT and is interested in building a MLton backend targeting TALT. Welcome!