masahi commented on pull request #5797:
URL: https://github.com/apache/incubator-tvm/pull/5797#issuecomment-644515613
PyTorch frontend also uses Prelude. It contains List ADT (as in functional
programming) and functions on lists (cons, map, filter, concat, length, nth
etc).
It allows creating and manipulating dynamic lists. This is necessary for
supporting python list append, for example.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
