Notes
Notes - notes.io |
type line = word list
convert_to_non_blank_lines_of_words (poem : char list) : line list =
let punctuation_free_poem = List.map (fun c -> if c == '.' || c == '!' || c == '?' || c == ',' || c == ';' || c == ':' || c == '-' then ' ' else c) poem
in
let words_of_poem = split_by punctuation_free_poem [' ']
in
let f (lst,sublist) l =
let is_last_word_in_line = is_elem 'n' l
in
let lst' = if is_last_word_in_line then lst @ [List.filter (fun c -> c == 'n') (rev sublist)] else lst
in
let sublist' = if is_last_word_in_line then [] else l::sublist
in
(lst',sublist')
in
let (lst,sublist) = List.fold_left f ([],[]) words_of_poem
in
lst @ [List.filter (fun c-> c == 'n') (rev sublist)]
|
|
Notes.io is a web-based application for taking notes. You can take your notes and share with others people. If you like taking long notes, notes.io is designed for you. To date, over 8,000,000,000 notes created and continuing...
With notes.io;
- * You can take a note from anywhere and any device with internet connection.
- * You can share the notes in social platforms (YouTube, Facebook, Twitter, instagram etc.).
- * You can quickly share your contents without website, blog and e-mail.
- * You don't need to create any Account to share a note. As you wish you can use quick, easy and best shortened notes with sms, websites, e-mail, or messaging services (WhatsApp, iMessage, Telegram, Signal).
- * Notes.io has fabulous infrastructure design for a short link and allows you to share the note as an easy and understandable link.
Fast: Notes.io is built for speed and performance. You can take a notes quickly and browse your archive.
Easy: Notes.io doesn’t require installation. Just write and share note!
Short: Notes.io’s url just 8 character. You’ll get shorten link of your note when you want to share. (Ex: notes.io/q )
Free: Notes.io works for 12 years and has been free since the day it was started.
You immediately create your first note and start sharing with the ones you wish. If you want to contact us, you can use the following communication channels;
Email: [email protected]
Twitter: http://twitter.com/notesio
Instagram: http://instagram.com/notes.io
Facebook: http://facebook.com/notesio
Regards;
Notes.io Team
