type checker increases performance by 10%

34 views
Skip to first unread message

Mark Tarver

unread,
Aug 12, 2018, 4:12:21 AM8/12/18
to Shen
Due to insomnia and reducing the # of inferences needed to secure a proof.

Mark
Reply all
Reply to author
Forward
0 new messages