Hongwei Xi

http://www.cs.bu.edu/~hwxi

ATS Trustful Software, Inc. Boston, Massachusetts As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

Repositories
Issues
Comments

Results 1 comments of


                                            Hongwei Xi

removing lemma_not_empty and lemma_not_zero

Please try ```ats case (isneqz(s), pad > 0) of (true, true) => ... | (_, _) => ... ``` There is no need to form tuples. By the way, 'ats'...