2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
tutch-git r3.b199eff-1 0 0.00 tutch is a tool for checking constructive proofs rmanne 2015-09-28 12:16 (UTC)
mlton-git r6685.728e2a5-1 0 0.00 Whole-program, optimizing Standard ML compiler rmanne 2015-10-07 18:48 (UTC)

2 packages found. Page 1 of 1.