POPL 2022 artifact submission
Version used for POPL 2022 paper. Adds brushing-and-linking example via De Morgan dual, records, backtick syntax for infix function names, and basic matrix rendering for convolution examples.
Version used for POPL 2022 paper. Adds brushing-and-linking example via De Morgan dual, records, backtick syntax for infix function names, and basic matrix rendering for convolution examples.