Add AENS.lookup and Oracle.expiry #705

Merged

zxq9 merged 4 commits from GH-188-AENS_lookup into master

2020-02-03 22:37:56 +09:00

Author	SHA1	Message	Date
Hans Svensson	bb79e7dd89	Update aebytecode reference	2020-02-03 14:26:13 +01:00
Hans Svensson	c3426f0e65	Add AENS.lookup Also move Pointee-constructors inside AENS namespace.	2020-02-03 12:52:00 +01:00
Hans Svensson	db01e237c1	Add Oracle.expiry	2020-02-03 12:24:27 +01:00
Hans Svensson	760d2841d1	From Iris (with AENS.update) AENS.resolve is not Pure	2020-02-03 12:22:34 +01:00