3 Commits

Author	SHA1	Message	Date
Peter Rong	318be22c79	slightly modified based on Sunli's reply. ... Signed-off-by: Peter Rong <PeterRong96@gmail.com>	2020-05-09 22:48:41 -07:00
Peter Rong	4ce0dc23b9	Translate type system almost done with some TODO. ... Signed-off-by: Peter Rong <PeterRong96@gmail.com>	2020-05-09 10:53:41 -07:00
sunli	d65fea88d8	Update docs	2020-04-17 19:33:28 +08:00