To obtain dotted note lengths, simply add a dot (`.') to the number. Double-dotted notes are produced in a similar way.
\version "2.24.0" %% http://lsr.di.unimi.it/LSR/Item?id=171 { a'4 b' c''4. b'8 a'4. b'4.. c''8. }