leastfixedpoint

Archived tweet #4835 from the @leastfixedpoint Twitter Archive
RT @ccshan: Homoiconicity : dependent types :: ? : ?