Archived tweet #2226 from the @leastfixedpoint Twitter Archive

@silentbicycle Agreed. Formalising OTP is an interesting research project: be good to abstract the knowledge away from Erlang