[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Formatting ASCII text


I kept watching videos on TLS+ and eventually found out about PlusCal. I also saw your videos from Stanford (6 rules for text alignment) and decided my original question was moot. I was looking for text editor behavior in a system that auto generated the TLS+ code.