Archived tweet #9203 from the @leastfixedpoint Twitter Archive

@awelonblue That's an interesting idea. @ezyang pointed me at people.mpi-sws.org/~dreyer/course… which looks to slightly predate the 1ML work and which uses the same syntax for pack/unpack