Idris2Doc
: Data.String.Interpolation
Index
Default
Alternative
Black & White
Data.String.Interpolation
A DYI version of 'string interpolation', mimicking Python 3's 'f-string' syntax Not as fancy