Archived tweet #2028 from the @leastfixedpoint Twitter Archive

@squaremobius It copes with cycles better than FRP. It's more fundamental. Can build FRP, k-CFA, type inference, type checking out of it