-- This file:
--   http://anggtwu.net/SUBTITLES/2024-lean4-oficina-0-aula-2.lua.html
--   http://anggtwu.net/SUBTITLES/2024-lean4-oficina-0-aula-2.lua
--          (find-angg "SUBTITLES/2024-lean4-oficina-0-aula-2.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun l () (interactive) (find-angg "SUBTITLES/2024-lean4-oficina-0-aula-2.lua"))
-- (defun l () (interactive) (find-SUBS "2024-lean4-oficina-0-aula-2.lua"))
-- (defun b () (interactive) (find-TH   "2024-lean4-oficina-0-aula-2"))
-- (defun p () (interactive) (find-TH   "2024-lean4-oficina-0-aula-2"))
-- (defun R () (interactive) (ee-recompile-SUBTITLES-0))
-- (defun r () (interactive) (ee-recompile-SUBTITLES-3))
-- (defun r () (interactive) (ee-recompile-SUBTITLES-1))
--  (define-key eev-mode-map (kbd "M-r") 'r)
--
-- Skel: (find-subs-links "2024lean4of0a2")
-- Old:  (find-editeevsubtitles-links-1 "2024lean4of0a2")
--       (find-efunction 'find-editeevsubtitles-links-1)
-- Yttr: (find-yttranscript-links       "2024lean4of0a2" "MXUJ8YLp5dU")
-- Info: (find-1stclassvideo-links      "2024lean4of0a2")
-- Play: (find-2024lean4of0a2video "0:00")
--
-- I use the code below to generate the subtitles in .vtt.
--

ee_dofile "~/LUA/Subtitles.lua" -- (find-angg "LUA/Subtitles.lua")

--[[
-- (find-angg "LUA/Subtitles.lua")

** Run the .lua and tell it to
** write the .vtt - by default in /tmp/
*
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "2024-lean4-oficina-0-aula-2.lua"
sts = Subtitles.fromsexps(subs_bigstr):addtime("29:53")
sts.lang = "pt-BR"
= sts
outfname = "$S/http/anggtwu.net/eev-videos/2024-lean4-oficina-0-aula-2.vtt"
outfname =                           "/tmp/2024-lean4-oficina-0-aula-2.vtt"
out = sts:vtt().."\n\n"
ee_writefile(outfname, out)
-- (find-fline                       "/tmp/2024-lean4-oficina-0-aula-2.vtt")

** Test the .vtt
** (find-2024lean4of0a2video "0:00")

** Select /tmp/ or ee-eevvideosdir
** (find-eevvideosfile "")
** (find-eevvideosfile ""   "2024-lean4-oficina-0-aula-2.mp4")
** (find-eevvideossh0 "cp -v 2024-lean4-oficina-0-aula-2.mp4 /tmp/")
** (code-video "2024lean4of0a2video"                           "/tmp/2024-lean4-oficina-0-aula-2.mp4")
** (code-video "2024lean4of0a2video" "$S/http/anggtwu.net/eev-videos/2024-lean4-oficina-0-aula-2.mp4")
** (find-2024lean4of0a2video "0:00")

** Upload the 2024-lean4-oficina-0-aula-2.vtt
** to http://anggtwu.net/eev-videos/
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd /tmp/
scp    2024-lean4-oficina-0-aula-2.vtt $LINP/eev-videos/
scp    2024-lean4-oficina-0-aula-2.vtt $LINS/eev-videos/
Scp-np 2024-lean4-oficina-0-aula-2.vtt $TWUP/eev-videos/
Scp-np 2024-lean4-oficina-0-aula-2.vtt $TWUS/eev-videos/

** Upload the subtitles to youtube
** http://www.youtube.com/watch?v=MXUJ8YLp5dU

** Check that the "psne subtitles" thing works
** (find-1stclassvideo-links "2024lean4of0a2")

--]]

--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "2024-lean4-oficina-0-aula-2.lua"
for li in subs_bigstr:gmatch("([^\n]+)") do
  local time,text = li:match('^.-"(.-)".-"(.*)"%)$')
  text = text:gsub("\\(.)", "%1")
  if time then print("  "..time.."  "..text) end
end

--]]


subs_bigstr = [==[
(find-2024lean4of0a2video "00:00" " ")

% (find-2024lean4of0a2video "00:01" "Oi gente, eu tou gravando esse vídeo assim")
% (find-2024lean4of0a2video "00:03" "meio emergencialmente pra aula 2 da")
% (find-2024lean4of0a2video "00:05" "oficina de Lean, que vai ser uma aula")
% (find-2024lean4of0a2video "00:07" "estranhíssima, porque muito poucas pessoas")
% (find-2024lean4of0a2video "00:09" "pessoas vão conseguir estar nela no horário...")

% (find-2024lean4of0a2video "00:10" "então a gente vai tentar fazer")
% (find-2024lean4of0a2video "00:12" "algumas coisas desse vídeo, e parece que")
% (find-2024lean4of0a2video "00:14" "algumas pessoas vão tentar fazer as coisas")
% (find-2024lean4of0a2video "00:16" "dele depois. Então, lembrem que se eu")
% (find-2024lean4of0a2video "00:20" "executo essa expressão daqui")
% (find-2024lean4of0a2video "00:22" "no meu computador ela vai para meu")
% (find-2024lean4of0a2video "00:24" "arquivo de anotações sobre Lean,")
% (find-2024lean4of0a2video "00:27" "mas no computador de vocês ela tá")
% (find-2024lean4of0a2video "00:29" "configurada para baixar uma cópia da")
% (find-2024lean4of0a2video "00:33" "versão pública desse arquivo, não gravar")
% (find-2024lean4of0a2video "00:36" "ela em lugar nenhum, e mostrar ela")
% (find-2024lean4of0a2video "00:38" "num buffer temporário. O material da aula 2")
% (find-2024lean4of0a2video "00:41" "tá nessa seção daqui, \"oficina 0, aula 2\"")
% (find-2024lean4of0a2video "00:45" "e aí eu usei como referência")
% (find-2024lean4of0a2video "00:49" "alguns trechos das legendas")
% (find-2024lean4of0a2video "00:52" "pra lembrar exatamente o que que eu")
% (find-2024lean4of0a2video "00:54" "tinha planejado para as aulas 1 e 2.")

% (find-2024lean4of0a2video "00:56" "Eu ainda não gravei o vídeo do")
% (find-2024lean4of0a2video "00:58" "exercício grande da aula de hoje, que é fazer")
% (find-2024lean4of0a2video "01:00" "algumas demonstrações não triviais.")

% (find-2024lean4of0a2video "01:04" "eu acho que vocês já viram")
% (find-2024lean4of0a2video "01:07" "links que terminam com \"hsubs\", eles")
% (find-2024lean4of0a2video "01:09" "vão pra versão em HTML das legendas")
% (find-2024lean4of0a2video "01:13" "de um vídeo, e o lsubs é uma coisa que é")
% (find-2024lean4of0a2video "01:16" "mais útil para mim, que vai pra fonte em")
% (find-2024lean4of0a2video "01:18" "Lua dessas legendas que depois eu")
% (find-2024lean4of0a2video "01:19" "converto para montão de outros formatos...")

% (find-2024lean4of0a2video "01:21" "e para mim a graça disso é que isso abre")
% (find-2024lean4of0a2video "01:23" "dentro do Emacs.")
% (find-2024lean4of0a2video "01:28" "Então, deixa eu só lembrar para vocês que")
% (find-2024lean4of0a2video "01:32" "todo esse curso é feito para pessoas com")
% (find-2024lean4of0a2video "01:34" "pouquíssima memória, com um buffer mental")
% (find-2024lean4of0a2video "01:36" "pequenininho que nem o meu, então eu")
% (find-2024lean4of0a2video "01:39" "vou sempre mostrar como é que a gente")
% (find-2024lean4of0a2video "01:41" "faz para lembrar o mínimo e reconstruir")
% (find-2024lean4of0a2video "01:43" "o resto a partir do pouquinho que a")
% (find-2024lean4of0a2video "01:44" "gente lembrou.")

% (find-2024lean4of0a2video "01:46" "Então o primeiro bloco que a gente vai ver")
% (find-2024lean4of0a2video "01:48" "hoje é o seguinte... eu preciso confirmar")
% (find-2024lean4of0a2video "01:51" "que todo mundo sabe duas teclas básicas,")
% (find-2024lean4of0a2video "01:53" "que eu chamo de \"go to\" e \"go back\"...")
% (find-2024lean4of0a2video "01:55" "os nomes oficiais delas são mais complicados.")

% (find-2024lean4of0a2video "01:58" "Então a gente vai para esse bloco daqui,")
% (find-2024lean4of0a2video "02:01" "sobre go to e go back, e elas estão")
% (find-2024lean4of0a2video "02:04" "mencionadas em dois trechos do vídeo")
% (find-2024lean4of0a2video "02:07" "sobre a oficina - o vídeo de divulgação,")
% (find-2024lean4of0a2video "02:09" "aquele de, sei lá, 30 minutos ou algo assim,")
% (find-2024lean4of0a2video "02:12" "que eu fiz.")

% (find-2024lean4of0a2video "02:16" "O primeiro trecho é esse,")
% (find-2024lean4of0a2video "02:19" "e talvez vocês precisem ver esse trecho")
% (find-2024lean4of0a2video "02:22" "de novo para lembrar como essas teclas")
% (find-2024lean4of0a2video "02:24" "funcionam...")

% (find-2024lean4of0a2video "02:28" "e no (find-lean4-intro), que tem as instruções")
% (find-2024lean4of0a2video "02:31" "pra instalar o Lean e as instruções muito")
% (find-2024lean4of0a2video "02:33" "básicas de como testar ele, a seção 3")
% (find-2024lean4of0a2video "02:36" "se chama \"Test the five manuals\", e no")
% (find-2024lean4of0a2video "02:40" "final dela tem um manual que tá num")
% (find-2024lean4of0a2video "02:42" "formato muito antigo, que foi gerado com")
% (find-2024lean4of0a2video "02:44" "com ferramentas que as pessoas não tão")
% (find-2024lean4of0a2video "02:48" "mais usando, que é o \"Lean Reference\", e")
% (find-2024lean4of0a2video "02:52" "algumas teclas que a gente vai usar")
% (find-2024lean4of0a2video "02:53" "estão explicadas aqui, nesse link daqui, ó,")
% (find-2024lean4of0a2video "02:56" "nessa URL.")

% (find-2024lean4of0a2video "02:58" "Então, voltando... isso aqui")
% (find-2024lean4of0a2video "03:02" "aponta para esse trechinho onde estão os")
% (find-2024lean4of0a2video "03:03" "links pro Lean Reference,")
% (find-2024lean4of0a2video "03:06" "e esses dois links não vão funcionar no")
% (find-2024lean4of0a2video "03:09" "no computador de vocês...")

% (find-2024lean4of0a2video "03:11" "a seção que nos interessa é essa")
% (find-2024lean4of0a2video "03:15" "daqui, então se vocês quiserem ler a")
% (find-2024lean4of0a2video "03:17" "documentação original sigam esse link")
% (find-2024lean4of0a2video "03:20" "daqui, e ele vai explicar um montão de")
% (find-2024lean4of0a2video "03:21" "coisas interessantes e um montão de")
% (find-2024lean4of0a2video "03:22" "coisas que não nos interessam...")

% (find-2024lean4of0a2video "03:24" "e se vocês avançarem alguns")
% (find-2024lean4of0a2video "03:28" "parágrafos vocês vão ver que ele fala")
% (find-2024lean4of0a2video "03:30" "sobre o `M-.' e o `M-,', que")
% (find-2024lean4of0a2video "03:33" "são o go to e o go back. Então, deixa eu")
% (find-2024lean4of0a2video "03:37" "voltar para cá...")

% (find-2024lean4of0a2video "03:39" "como é que a gente faz para descobrir")
% (find-2024lean4of0a2video "03:41" "o que que essas teclas fazem?")

% (find-2024lean4of0a2video "03:43" "É o seguinte. Essas teclas são")
% (find-2024lean4of0a2video "03:47" "teclas globais que estão")
% (find-2024lean4of0a2video "03:48" "definidas em todos os modos do Emacs,")
% (find-2024lean4of0a2video "03:53" "e no tutorial principal do eev, que é")
% (find-2024lean4of0a2video "03:57" "esse daqui, a seção 4, ela...")
% (find-2024lean4of0a2video "04:02" "peraí, deixa eu lembrar se é a seção 4...")

% (find-2024lean4of0a2video "04:10" "Sim. Ela explica um jeito de gerar")
% (find-2024lean4of0a2video "04:12" "muitos hiperlinks sobre uma determinada")
% (find-2024lean4of0a2video "04:15" "função ou sobre uma determinada tecla.")
% (find-2024lean4of0a2video "04:17" "Ela começa dizendo que se você executar")
% (find-2024lean4of0a2video "04:19" "essa expressão daqui você vai pra um")
% (find-2024lean4of0a2video "04:21" "buffer temporário com montão de links")
% (find-2024lean4of0a2video "04:23" "sobre o find-file... mas uma coisa que é")
% (find-2024lean4of0a2video "04:26" "super importante é esse link daqui.")
% (find-2024lean4of0a2video "04:26" "Se você lembrar essa sequência de")
% (find-2024lean4of0a2video "04:30" "teclas daqui você consegue help sobre")
% (find-2024lean4of0a2video "04:32" "qualquer função, nesse formato daqui...")

% (find-2024lean4of0a2video "04:34" "Então, se eu bater M-h M-f em cima")
% (find-2024lean4of0a2video "04:39" "do nome dessa função, find-file, ele vai")
% (find-2024lean4of0a2video "04:41" "pedir pra eu confirmar que eu quero")
% (find-2024lean4of0a2video "04:44" "help sobre essa função daqui, se eu")
% (find-2024lean4of0a2video "04:46" "confirmar eu vou para um buffer que")
% (find-2024lean4of0a2video "04:47" "coincidentemente era exatamente o que eu")
% (find-2024lean4of0a2video "04:49" "já tinha gerado, e se eu rodar essa")
% (find-2024lean4of0a2video "04:53" "expressão daqui eu vou pro help")
% (find-2024lean4of0a2video "04:56" "tradicional sobre o find-file, que tem")
% (find-2024lean4of0a2video "04:58" "hiperlinks no sentido tradicional,")
% (find-2024lean4of0a2video "05:01" "que você clica neles e coisas assim, mas")
% (find-2024lean4of0a2video "05:03" "que você não consegue ver o")
% (find-2024lean4of0a2video "05:04" "código fonte deles.")

% (find-2024lean4of0a2video "05:05" "Às vezes a gente vai querer seguir esse")
% (find-2024lean4of0a2video "05:07" "hiperlink daqui, `find-efunction', que")
% (find-2024lean4of0a2video "05:10" "vai pro código fonte do find-file, e em")
% (find-2024lean4of0a2video "05:13" "alguns casos... daqui a pouco eu vou")
% (find-2024lean4of0a2video "05:14" "mostrar casos assim. Então, deixa eu")
% (find-2024lean4of0a2video "05:17" "voltar...")

% (find-2024lean4of0a2video "05:19" "então: M-h M-f vai pra links sobre uma função")
% (find-2024lean4of0a2video "05:23" "e M-h M-k vai pra links sobre uma tecla...")
% (find-2024lean4of0a2video "05:26" "então se eu quiser mais informações sobre")
% (find-2024lean4of0a2video "05:31" "o `M-.' e o `M-', que são go to e go back,")
% (find-2024lean4of0a2video "05:34" "eu posso rodar essas expressões daqui...")
% (find-2024lean4of0a2video "05:38" "lembrem que o eek")
% (find-2024lean4of0a2video "05:42" "é um hiperlink pra ação de uma")
% (find-2024lean4of0a2video "05:44" "sequência de teclas,")
% (find-2024lean4of0a2video "05:45" "então ele faz a mesma coisa que")
% (find-2024lean4of0a2video "05:47" "se eu batesse isso aqui na mão, e isso aqui")
% (find-2024lean4of0a2video "05:49" "é um bom modo da gente lembrar uma")
% (find-2024lean4of0a2video "05:51" "sequência de teclas que a gente quer")
% (find-2024lean4of0a2video "05:52" "usar depois... e ele trata isso aqui como")
% (find-2024lean4of0a2video "05:55" "um comentário, e esse comentário tem o")
% (find-2024lean4of0a2video "05:57" "nome da função. Então se eu executar isso")
% (find-2024lean4of0a2video "05:59" "aqui eu consigo um bocado de help sobre")
% (find-2024lean4of0a2video "06:01" "essa função daqui, e se eu por acaso")
% (find-2024lean4of0a2video "06:04" "quiser ver o código fonte eu posso ir ou")
% (find-2024lean4of0a2video "06:07" "pra cá, que tem o o comentário de como é")
% (find-2024lean4of0a2video "06:09" "que ela funciona - o \"docstring\" dela -")
% (find-2024lean4of0a2video "06:13" "ou pra cá...")

% (find-2024lean4of0a2video "06:14" "e aí eu vou pro arquivo onde ela tá")
% (find-2024lean4of0a2video "06:17" "definida, que é um arquivo grandão")
% (find-2024lean4of0a2video "06:19" "chamado xref.el, etc...")

% (find-2024lean4of0a2video "06:26" "Deixa eu seguir esse link daqui.")
% (find-2024lean4of0a2video "06:30" "Lembrem que no tutorial... quer dizer, no")
% (find-2024lean4of0a2video "06:33" "intro sobre Lean4, a seção 8 pedia pra")
% (find-2024lean4of0a2video "06:36" "vocês testarem isso daqui...")

% (find-2024lean4of0a2video "06:38" "eu vou ter que reduzir a fonte...")

% (find-2024lean4of0a2video "06:39" "e esse link daqui vai")
% (find-2024lean4of0a2video "06:41" "pro código fonte do Lean... de um dos")
% (find-2024lean4of0a2video "06:45" "arquivos da biblioteca básica do Lean...")

% (find-2024lean4of0a2video "06:47" "o nome, `find-lean4prefile', não é muito bom...")
% (find-2024lean4of0a2video "06:50" "eu tô chamando esses links de \"preamble\"")
% (find-2024lean4of0a2video "06:55" "baseado em como as coisas são")
% (find-2024lean4of0a2video "06:57" "no Haskell, em que as bibliotecas")
% (find-2024lean4of0a2video "06:59" "básicas se chamam \"Preamble\", mas no Lean")
% (find-2024lean4of0a2video "07:01" "isso tá meio errado... mas eu mantive")
% (find-2024lean4of0a2video "07:03" "o nome errado por motivos históricos -")
% (find-2024lean4of0a2video "07:06" "eu não tive tempo de consertar isso.")

% (find-2024lean4of0a2video "07:08" "Então, se eu seguir esse link daqui")
% (find-2024lean4of0a2video "07:10" "ele vai para um arquivo em Lean...")
% (find-2024lean4of0a2video "07:15" "e Lean leva um tempinho para processar")
% (find-2024lean4of0a2video "07:18" "esse arquivo, pra conseguir criar")
% (find-2024lean4of0a2video "07:22" "links em alguns pontos dele e")
% (find-2024lean4of0a2video "07:25" "coisas assim... e aqui eu posso testar")
% (find-2024lean4of0a2video "07:27" "o `M-.', que é o \"go to\", e o `M-,',")
% (find-2024lean4of0a2video "07:32" "que é o \"go back\"... então, por exemplo,")
% (find-2024lean4of0a2video "07:34" "se eu quiser saber mais sobre a classe")
% (find-2024lean4of0a2video "07:36" "Inhabited eu uso a tecla de \"go to\" aqui,")
% (find-2024lean4of0a2video "07:39" "que é `M-.', e ele vai pra um")
% (find-2024lean4of0a2video "07:42" "outro arquivo...")

% (find-2024lean4of0a2video "07:44" "e se eu bater M-, eu volto para cá.")

% (find-2024lean4of0a2video "07:47" "Então testem isso, tá...")
% (find-2024lean4of0a2video "07:49" "isso é uma das primeiras coisas que eu")
% (find-2024lean4of0a2video "07:51" "quero que vocês testem.")

% (find-2024lean4of0a2video "07:55" "Agora o segundo bloquinho.")

% (find-2024lean4of0a2video "08:00" "Eu não sei se vocês lembram disso, mas se")
% (find-2024lean4of0a2video "08:02" "a gente bater `M-x l' a gente vai pra")
% (find-2024lean4of0a2video "08:05" "esse arquivo de anotações de Lean.")

% (find-2024lean4of0a2video "08:07" "Então nesse momento se eu bater `M-x l' isso")
% (find-2024lean4of0a2video "08:09" "não faz nada porque eu já tou nesse arquivo.")

% (find-2024lean4of0a2video "08:11" "No computador de vocês o Emacs vai pra")
% (find-2024lean4of0a2video "08:13" "uma cópia temporária desse arquivo,")
% (find-2024lean4of0a2video "08:17" "no meu ele vai pro arquivo em si...")

% (find-2024lean4of0a2video "08:25" "Aqui tem um link que tá errado, caramba...")
% (find-2024lean4of0a2video "08:28" "eu devia ter posto isso num outro bloco...")
% (find-2024lean4of0a2video "08:32" "ah, não, não - tá certo.")

% (find-2024lean4of0a2video "08:34" "Então, eu contei para vocês que `M-x l'")
% (find-2024lean4of0a2video "08:37" "vem para cá, e eu não lembro se vocês")
% (find-2024lean4of0a2video "08:40" "já testaram o `M-x a', que também faz")
% (find-2024lean4of0a2video "08:42" "uma coisa parecida...")

% (find-2024lean4of0a2video "08:44" "Então, agora há pouco a gente tava")
% (find-2024lean4of0a2video "08:47" "vendo o `M-h M-k', que vai pro help")
% (find-2024lean4of0a2video "08:50" "sobre uma tecla - `k' é de `key'...")

% (find-2024lean4of0a2video "08:53" "e agora a gente vai ver `M-h M-f',")
% (find-2024lean4of0a2video "08:55" "que vai pro help sobre uma função.")

% (find-2024lean4of0a2video "08:57" "Aqui a gente tem uma função com um nome")
% (find-2024lean4of0a2video "08:58" "muito curto - `l'. Como é que a gente")
% (find-2024lean4of0a2video "09:00" "consegue mais informação sobre ela?")

% (find-2024lean4of0a2video "09:02" "A gente pode bater `M-h M-h l ENTER',")
% (find-2024lean4of0a2video "09:05" "E aí ele abre esse buffer aqui,")
% (find-2024lean4of0a2video "09:10" "com montão de links sobre a função `l',")

% (find-2024lean4of0a2video "09:12" "ou a gente pode seguir isso aqui,")
% (find-2024lean4of0a2video "09:14" "que é um link pro efeito de bater")
% (find-2024lean4of0a2video "09:17" "`M-h M-f l'...")

% (find-2024lean4of0a2video "09:20" "E aí nesse caso isso é uma função que")
% (find-2024lean4of0a2video "09:22" "não tem uma descrição - ela não tá")
% (find-2024lean4of0a2video "09:24" "documentada... então é melhor a gente ir")
% (find-2024lean4of0a2video "09:26" "para cá e ver o código fonte dela. Ela é")
% (find-2024lean4of0a2video "09:28" "uma função muito curta, ó - é uma função")
% (find-2024lean4of0a2video "09:30" "que tem uma linha só, é isso aqui...")

% (find-2024lean4of0a2video "09:34" "e ela vai pro arquivo de anotações sobre Lean.")
% (find-2024lean4of0a2video "09:37" "a mesma coisa pro a - e um dos links aqui")
% (find-2024lean4of0a2video "09:39" "vai pro código fonte dela - é esse...")

% (find-2024lean4of0a2video "09:44" "e o `a' ele garante que esse")
% (find-2024lean4of0a2video "09:48" "diretório existe - /tmp/L/ - ")
% (find-2024lean4of0a2video "09:50" "e ele abre o arquivo /tmp/L/a.lean.")
% (find-2024lean4of0a2video "09:57" "Tá? Isso vai ser importante depois.")

% (find-2024lean4of0a2video "10:00" "Nesse momento o a.lean... bom, eu")
% (find-2024lean4of0a2video "10:04" "tou usando esse a.lean como um arquivo")
% (find-2024lean4of0a2video "10:06" "temporário, e aqui tem umas coisas que eu")
% (find-2024lean4of0a2video "10:08" "botei nele agora há pouco, num dos testes.")

% (find-2024lean4of0a2video "10:19" "Outra coisa que pode ser útil para")
% (find-2024lean4of0a2video "10:21" "algumas pessoas é a seguinte... algumas")
% (find-2024lean4of0a2video "10:23" "pessoas vão precisar definir sequências")
% (find-2024lean4of0a2video "10:25" "novas de teclas - o Halian precisou")
% (find-2024lean4of0a2video "10:28" "disso porque o F8 pra ele já tava")
% (find-2024lean4of0a2video "10:30" "definido de um outro jeito...")

% (find-2024lean4of0a2video "10:32" "nas minhas anotações sobre MacOS, OSX,")
% (find-2024lean4of0a2video "10:33" "ou whatever, como as pessoas queiram chamar...")
% (find-2024lean4of0a2video "10:38" "tem uma seção sobre o arquivo de")
% (find-2024lean4of0a2video "10:41" "configuração que eu criei pro Halian - que")
% (find-2024lean4of0a2video "10:43" "a gente criou juntos... e tem esse")
% (find-2024lean4of0a2video "10:47" "trechinho no arquivo de anotações dele...")

% (find-2024lean4of0a2video "10:49" "ele precisou definir o `C-RET',")
% (find-2024lean4of0a2video "10:53" "`C-Return', como a função que tava")
% (find-2024lean4of0a2video "10:55" "associada ao F8...")

% (find-2024lean4of0a2video "10:57" "Então esse comando daqui define")
% (find-2024lean4of0a2video "10:59" "que o `C-Return' faz isso aqui,")
% (find-2024lean4of0a2video "11:01" "e essa linha daqui foi gerada")
% (find-2024lean4of0a2video "11:04" "por essa linha daqui, find-esetkey-links,")
% (find-2024lean4of0a2video "11:07" "que gera esse buffer temporário...")

% (find-2024lean4of0a2video "11:10" "E eu escolhi mandar isso aqui pro Halian.")

(find-2024lean4of0a2video "11:15" " ")

]==]

unrevised_bigstr = [==[
(find-2024lean4of0a2video "00:00" " ")


% (find-2024lean4of0a2video "11:14" "eh como é que a gente descobre mais")
% (find-2024lean4of0a2video "11:17" "coisas disso deixa eu voltar para cá")
% (find-2024lean4of0a2video "11:20" "paraas minhas anotações sobre lin eh")
% (find-2024lean4of0a2video "11:23" "primeiro pode ser que vocês queiram")
% (find-2024lean4of0a2video "11:25" "definir algumas teclas que eu uso a BSA")
% (find-2024lean4of0a2video "11:28" "que são as teclas que usam tecla super")
% (find-2024lean4of0a2video "11:30" "que é a tecla Windows na maioria dos")
% (find-2024lean4of0a2video "11:32" "Teclados")
% (find-2024lean4of0a2video "11:33" "Ah E aí por exemplo eu defino que Super")
% (find-2024lean4of0a2video "11:37" "T ele to tola aar super mgla a menubar e")
% (find-2024lean4of0a2video "11:42" "na maior parte do tempo eu não não uso")
% (find-2024lean4of0a2video "11:44" "essas coisas e além disso tem a scroll")
% (find-2024lean4of0a2video "11:47" "bar que eu também geralmente não uso eu")
% (find-2024lean4of0a2video "11:49" "consigo tolar o full screen e coisas")
% (find-2024lean4of0a2video "11:51" "assim então repara são só esses cominhos")
% (find-2024lean4of0a2video "11:54" "daqui para definir teclas novas e pode")
% (find-2024lean4of0a2video "11:56" "ser que alguém precise disso")
% (find-2024lean4of0a2video "12:02" "E então Se alguém quiser teclas para aar")
% (find-2024lean4of0a2video "12:06" "a menar a gente vai usar isso aqui e se")
% (find-2024lean4of0a2video "12:09" "vocês precisarem de mais help sobre o")
% (find-2024lean4of0a2video "12:12" "que que é menu bar mode que é um comando")
% (find-2024lean4of0a2video "12:14" "do do Max vocês podem seguir esse link")
% (find-2024lean4of0a2video "12:17" "daqui que vai pro índice")
% (find-2024lean4of0a2video "12:19" "dox na linha sobre o menu B E aí el vai")
% (find-2024lean4of0a2video "12:24" "exatamente para esse parágrafo daqui que")
% (find-2024lean4of0a2video "12:27" "explica o que que essa daqui")
% (find-2024lean4of0a2video "12:30" "faz tá Não sei se esse bloco aqui vai")
% (find-2024lean4of0a2video "12:33" "ser importante pra gente")
% (find-2024lean4of0a2video "12:38" "eh outra coisa e isso aqui são coisas")
% (find-2024lean4of0a2video "12:41" "que a gente certamente vai usar hoje")
% (find-2024lean4of0a2video "12:45" "eh Às vezes a gente quer ver a lista de")
% (find-2024lean4of0a2video "12:49" "erros")
% (find-2024lean4of0a2video "12:50" "eh e o de outputs de comandos tipo check")
% (find-2024lean4of0a2video "12:54" "eval print e coisas assim")
% (find-2024lean4of0a2video "12:56" "ah deixa eu dar um exemplo")
% (find-2024lean4of0a2video "13:02" "eu vou dar um eu esqueci de preparar")
% (find-2024lean4of0a2video "13:04" "esse exemplo antes tá então vamos eh")
% (find-2024lean4of0a2video "13:10" "eh cadê")
% (find-2024lean4of0a2video "13:15" "caramba achei Então vamos abrir esse")
% (find-2024lean4of0a2video "13:18" "arquivo daqui")
% (find-2024lean4of0a2video "13:20" "é um programa que eu fiz um dos maiores")
% (find-2024lean4of0a2video "13:23" "programas que eu já fiz até hoje ó ele")
% (find-2024lean4of0a2video "13:25" "tem 117 linhas e")
% (find-2024lean4of0a2video "13:29" "E aí em algumas linhas dele algumas")
% (find-2024lean4of0a2video "13:32" "linhas dele tem output e alguns dos")
% (find-2024lean4of0a2video "13:34" "output são São relativamente grandes tem")
% (find-2024lean4of0a2video "13:37" "várias linhas tem que esperar um")
% (find-2024lean4of0a2video "13:39" "instantinho até o o l conseguir")
% (find-2024lean4of0a2video "13:41" "processar esse arquivo todo repara que")
% (find-2024lean4of0a2video "13:43" "ele tem essa barra amarela dizendo eu")
% (find-2024lean4of0a2video "13:45" "ainda não processei essa parte daqui se")
% (find-2024lean4of0a2video "13:47" "a gente for pro início do arquivo")
% (find-2024lean4of0a2video "13:51" "Ah poxa que sem graça Às vezes a gente v")
% (find-2024lean4of0a2video "13:54" "a barra amarela desaparecendo aos")
% (find-2024lean4of0a2video "13:56" "pouquinhos então é lembrem que a gente")
% (find-2024lean4of0a2video "14:00" "já aprendeu a usar o go to e o go back")
% (find-2024lean4of0a2video "14:03" "não quero não quero usar eles")
% (find-2024lean4of0a2video "14:06" "agora e o lance aqui esses evus daqui")
% (find-2024lean4of0a2video "14:09" "eles dão resultado de")
% (find-2024lean4of0a2video "14:13" "expressões e esse aqui e eu achei que")
% (find-2024lean4of0a2video "14:16" "era ele era maior ele dá um resultado")
% (find-2024lean4of0a2video "14:19" "que tem três linhas só é essa expressão")
% (find-2024lean4of0a2video "14:23" "daqui impressa em em 2D em forma de")
% (find-2024lean4of0a2video "14:26" "árvore Então deixa eu voltar para cá")
% (find-2024lean4of0a2video "14:33" "Ah então voltando a gente tá aqui e às")
% (find-2024lean4of0a2video "14:36" "vezes a gente vai querer ver todos os")
% (find-2024lean4of0a2video "14:38" "erros de uma vez")
% (find-2024lean4of0a2video "14:39" "só e aí a gente tem que usar uma tecla")
% (find-2024lean4of0a2video "14:42" "que funciona meio mal eh o seguinte")
% (find-2024lean4of0a2video "14:46" "Ah o jeito mais fácil de lembrar como")
% (find-2024lean4of0a2video "14:48" "ela funciona é ativar a menu bar que é")
% (find-2024lean4of0a2video "14:50" "esse daqui e quando a gente tá no modo")
% (find-2024lean4of0a2video "14:54" "lin ele vai ter essa opção aqui lin 4")
% (find-2024lean4of0a2video "14:57" "então a gente clica aqui e ele dá algum")
% (find-2024lean4of0a2video "14:59" "algumas opções importantes uma delas é o")
% (find-2024lean4of0a2video "15:01" "list of")
% (find-2024lean4of0a2video "15:03" "errors E aí se eu clico nessa opção ele")
% (find-2024lean4of0a2video "15:07" "pode me mostrar todos os erros e")
% (find-2024lean4of0a2video "15:09" "mensagens numa janela só ou se eu")
% (find-2024lean4of0a2video "15:13" "duplicar a janela eh se eu dividir a")
% (find-2024lean4of0a2video "15:17" "janela em duas se eu bater F10 LL ele")
% (find-2024lean4of0a2video "15:21" "abre essa lista de erros aqui por que")
% (find-2024lean4of0a2video "15:24" "F10 LL eh o emx tem um jeito da gente")
% (find-2024lean4of0a2video "15:28" "acessar a n bar pelo teclado então a")
% (find-2024lean4of0a2video "15:31" "gente bate F10 e ele mostra pra gente")
% (find-2024lean4of0a2video "15:34" "aqui que letras vão para cada uma dessas")
% (find-2024lean4of0a2video "15:36" "opções daqui e uma das Letras é L pro")
% (find-2024lean4of0a2video "15:40" "menu do Lan 4 e aí ele mostra qual é a")
% (find-2024lean4of0a2video "15:44" "Quais são as opções desse menu e uma")
% (find-2024lean4of0a2video "15:46" "delas é list of errors então uma opção")
% (find-2024lean4of0a2video "15:49" "seria o decorar aqui cont control c")
% (find-2024lean4of0a2video "15:51" "exclamação L vai pra lista de erros mas")
% (find-2024lean4of0a2video "15:54" "eu acho mais fácil lembrar que é F10 l l")
% (find-2024lean4of0a2video "15:58" "porque aí Ox vai me mostrando eh um")
% (find-2024lean4of0a2video "16:01" "bocado de help pelo caminho então quando")
% (find-2024lean4of0a2video "16:04" "eu faço isso ele mostra todos os erros")
% (find-2024lean4of0a2video "16:07" "entre aspas na verdade todos os outputs")
% (find-2024lean4of0a2video "16:09" "Ah aqui à direita ah as linhas que tem")
% (find-2024lean4of0a2video "16:12" "algum output são as linhas que tão com")
% (find-2024lean4of0a2video "16:15" "umas setinhas verdes aqui")
% (find-2024lean4of0a2video "16:18" "e se eu ando por essas linhas ele rilia")
% (find-2024lean4of0a2video "16:23" "exatamente a linha em que eu tô repara")
% (find-2024lean4of0a2video "16:26" "que aqui eu não tô numa linha que tem")
% (find-2024lean4of0a2video "16:28" "output então não tem nada Highlight e")
% (find-2024lean4of0a2video "16:31" "agora acompanha tudo pela janela da")
% (find-2024lean4of0a2video "16:32" "direita se eu V batendo setas para cima")
% (find-2024lean4of0a2video "16:35" "ele vai para outras linhas assim e lá")
% (find-2024lean4of0a2video "16:39" "adiante na linha 36 e 35 tem umas outras")
% (find-2024lean4of0a2video "16:43" "linhas que tem output")
% (find-2024lean4of0a2video "16:46" "aqui então voltando")
% (find-2024lean4of0a2video "16:52" "E agora tem uma coisa que vai ser super")
% (find-2024lean4of0a2video "16:55" "importante para para")
% (find-2024lean4of0a2video "16:57" "vocês eh eu vou ter que pular um pedaço")
% (find-2024lean4of0a2video "17:00" "aqui porque eu esqueci Onde Estão onde")
% (find-2024lean4of0a2video "17:02" "estão os exemplos em que o emax faz uma")
% (find-2024lean4of0a2video "17:05" "bagunça com isso ele cria uma um segundo")
% (find-2024lean4of0a2video "17:07" "frame do emax eu vou explicar isso")
% (find-2024lean4of0a2video "17:09" "depois tá porque a oficina vai acabar")
% (find-2024lean4of0a2video "17:12" "vai começar daqui a pouco eu não quero")
% (find-2024lean4of0a2video "17:14" "atrasar muito")
% (find-2024lean4of0a2video "17:16" "Ah então outra coisa importante é vocês")
% (find-2024lean4of0a2video "17:20" "aprenderem a salvar no arquivo de")
% (find-2024lean4of0a2video "17:21" "anotações de vocês um bloquinho de")
% (find-2024lean4of0a2video "17:23" "código de Lin")
% (find-2024lean4of0a2video "17:25" "eh vocês já deram uma olhada em como")
% (find-2024lean4of0a2video "17:29" "usar esses bloquinhos de código tem")
% (find-2024lean4of0a2video "17:32" "vários bloquinhos no no meu arquivão de")
% (find-2024lean4of0a2video "17:34" "anotações sobre lin que tem e expressões")
% (find-2024lean4of0a2video "17:37" "que começam com e copy rest")
% (find-2024lean4of0a2video "17:40" "3M e quando a gente executa isso ele")
% (find-2024lean4of0a2video "17:44" "copia tudo que tá")
% (find-2024lean4of0a2video "17:48" "entre o que começa logo depois dele esse")
% (find-2024lean4of0a2video "17:51" "nild aqui quer dizer comece na linha")
% (find-2024lean4of0a2video "17:52" "seguinte e esse string daqui quer dizer")
% (find-2024lean4of0a2video "17:56" "termine na primeira ocorrência desse")
% (find-2024lean4of0a2video "17:57" "string ele grava tudo isso dentro desse")
% (find-2024lean4of0a2video "17:59" "arquivo bar tmp bara barl maculo")
% (find-2024lean4of0a2video "18:04" "barlin então repara que ele diz disse")
% (find-2024lean4of0a2video "18:07" "aqui embaixo copied three Lines to the")
% (find-2024lean4of0a2video "18:09" "que ring ele não copia automaticamente")
% (find-2024lean4of0a2video "18:11" "nada eu Evito ao máximo no fazer coisas")
% (find-2024lean4of0a2video "18:15" "que vão ter resultados surpreendentes ou")
% (find-2024lean4of0a2video "18:17" "que não estão dizendo explicitamente o")
% (find-2024lean4of0a2video "18:19" "que que elas fazem então eu se eu")
% (find-2024lean4of0a2video "18:22" "copiasse isso direto para outro arquivo")
% (find-2024lean4of0a2video "18:24" "ia dar maior confusão Às vezes as")
% (find-2024lean4of0a2video "18:26" "pessoas teriam anotações lá que elas iam")
% (find-2024lean4of0a2video "18:28" "perder Então prefiro simplesmente copiar")
% (find-2024lean4of0a2video "18:30" "pro kill ring que é o")
% (find-2024lean4of0a2video "18:33" "clipboard Então agora que eu copiei")
% (find-2024lean4of0a2video "18:35" "essas três linhas para cá eu pro pro")
% (find-2024lean4of0a2video "18:38" "clipo pro k ring eu posso ir para esse")
% (find-2024lean4of0a2video "18:42" "a. lind que é meu arquivo temporário")
% (find-2024lean4of0a2video "18:44" "padrão e eu vou dar um paste lembrem que")
% (find-2024lean4of0a2video "18:47" "tem vários jeitos da gente dar paste um")
% (find-2024lean4of0a2video "18:49" "jeito é a gente lembrar que a gente pode")
% (find-2024lean4of0a2video "18:52" "procurar aqui no menu do Edit E aí ele")
% (find-2024lean4of0a2video "18:54" "diz que paste cont control Y então ou a")
% (find-2024lean4of0a2video "18:56" "gente clica aqui e bate no cont control")
% (find-2024lean4of0a2video "18:58" "Y")
% (find-2024lean4of0a2video "18:59" "ou a gente procura o o ícone de paste")
% (find-2024lean4of0a2video "19:02" "aqui ou se a gente já sabe a tecla a")
% (find-2024lean4of0a2video "19:04" "gente simplesmente vai aqui e baixe cont")
% (find-2024lean4of0a2video "19:06" "control Y repar também que quando eu")
% (find-2024lean4of0a2video "19:09" "executo isso a mensagem daqui diz use")
% (find-2024lean4of0a2video "19:12" "control Y to paste então é uma dica de")
% (find-2024lean4of0a2video "19:16" "que Basta vir para cá e d cont control Y")
% (find-2024lean4of0a2video "19:19" "aí o l leva um segundo ele entende que")
% (find-2024lean4of0a2video "19:22" "is são comentários")
% (find-2024lean4of0a2video "19:25" "Ele colore eles do jeito certo")
% (find-2024lean4of0a2video "19:30" "agora como é que a gente faz para")
% (find-2024lean4of0a2video "19:31" "lembrar")
% (find-2024lean4of0a2video "19:32" "que tem alguma determinada coisa")
% (find-2024lean4of0a2video "19:35" "interessante nesses menus de cima na")
% (find-2024lean4of0a2video "19:37" "menu")
% (find-2024lean4of0a2video "19:38" "bar lembra que eu disse que meta H met k")
% (find-2024lean4of0a2video "19:43" "sobre uma determinada tecla Na verdade")
% (find-2024lean4of0a2video "19:46" "ele é um pouco mais poderoso que isso")
% (find-2024lean4of0a2video "19:48" "ele pode dar sobre algumas outras coisas")
% (find-2024lean4of0a2video "19:50" "também então se eu bate meta H meta k e")
% (find-2024lean4of0a2video "19:54" "eu clico aqui na no submenu do lin 4 e")
% (find-2024lean4of0a2video "19:59" "vou no list of")
% (find-2024lean4of0a2video "20:00" "errors o metag metak abre esse esse")
% (find-2024lean4of0a2video "20:05" "buffer daqu com montão de link sobre o o")
% (find-2024lean4of0a2video "20:08" "list of errors E aí por exemplo eu posso")
% (find-2024lean4of0a2video "20:11" "copiar esse daqui paraas minhas")
% (find-2024lean4of0a2video "20:13" "anotações ou copiar algo mais descritivo")
% (find-2024lean4of0a2video "20:16" "que é find Eon Key links não sei que que")
% (find-2024lean4of0a2video "20:19" "gera esse buffer daqui")
% (find-2024lean4of0a2video "20:22" "Ah nesse caso aqui ele me diz qual o")
% (find-2024lean4of0a2video "20:25" "nome da função que tá associada a essa")
% (find-2024lean4of0a2video "20:27" "entrada do menu é essa aqui então eu")
% (find-2024lean4of0a2video "20:29" "posso se eu quiser documentação sobre")
% (find-2024lean4of0a2video "20:31" "ela eu posso ou ir para cá que tem a")
% (find-2024lean4of0a2video "20:33" "documentação oficial que é meio")
% (find-2024lean4of0a2video "20:35" "curtinha ou ir para cá que tem o código")
% (find-2024lean4of0a2video "20:39" "fonte dela e pode ser que ele seja mais")
% (find-2024lean4of0a2video "20:43" "insightful do que a versão curtinha")
% (find-2024lean4of0a2video "20:50" "Ah eu acho que eu tava dizendo que nem")
% (find-2024lean4of0a2video "20:52" "sempre isso funciona super bem e um")
% (find-2024lean4of0a2video "20:55" "exemplo onde onde isso não funciona")
% (find-2024lean4of0a2video "20:57" "super bem É o seguinte vamos aqui aqui")
% (find-2024lean4of0a2video "20:58" "para para menu bar uma das opções aqui")
% (find-2024lean4of0a2video "21:02" "na no menu do lin 4 é customize L for")
% (find-2024lean4of0a2video "21:06" "mode quando a gente clica nele a gente")
% (find-2024lean4of0a2video "21:08" "tem um monte de opções sobre como mudar")
% (find-2024lean4of0a2video "21:10" "cores como mudar teclas como mudar como")
% (find-2024lean4of0a2video "21:13" "o servidor funciona qual é o timeout")
% (find-2024lean4of0a2video "21:16" "dele coisas")
% (find-2024lean4of0a2video "21:17" "assim acontece que pera aí")
% (find-2024lean4of0a2video "21:23" "eh se eu executo isso aqui")
% (find-2024lean4of0a2video "21:27" "AX consegue descobrir não sei por qual é")
% (find-2024lean4of0a2video "21:30" "a função associada a isso então ele acha")
% (find-2024lean4of0a2video "21:33" "que está associado a uma coisa chamada")
% (find-2024lean4of0a2video "21:35" "menu function 4 eu não sei")
% (find-2024lean4of0a2video "21:38" "porquê mas")
% (find-2024lean4of0a2video "21:40" "eh tem um jeito da gente ir direto para")
% (find-2024lean4of0a2video "21:43" "aquele buffer de customização que é com")
% (find-2024lean4of0a2video "21:46" "esse link daqui não vale a pena explicar")
% (find-2024lean4of0a2video "21:49" "agora como é que eu criei o link para cá")
% (find-2024lean4of0a2video "21:51" "tá lembra que é mais fácil a gente usar")
% (find-2024lean4of0a2video "21:52" "links que já tão já existem do que criar")
% (find-2024lean4of0a2video "21:55" "links novos eh")
% (find-2024lean4of0a2video "21:58" "[Música]")
% (find-2024lean4of0a2video "22:01" "então isso explica um pouquinho sobre")
% (find-2024lean4of0a2video "22:03" "algumas teclas e sobre os menus e eu")
% (find-2024lean4of0a2video "22:07" "fiquei de explicar para vocês como é que")
% (find-2024lean4of0a2video "22:08" "a gente cria um bloco desses")
% (find-2024lean4of0a2video "22:10" "Ah bom lembrem que agora a pouco eu tava")
% (find-2024lean4of0a2video "22:15" "falando sobre as funções com nomes")
% (find-2024lean4of0a2video "22:16" "curtíssimos l por exemplo se eu V pro")
% (find-2024lean4of0a2video "22:19" "código fonte do L ele é só essa linha")
% (find-2024lean4of0a2video "22:22" "daqui também tem uma função com com um")
% (find-2024lean4of0a2video "22:24" "nome bem curto que é cr3 que é isso")
% (find-2024lean4of0a2video "22:27" "daqui que ela só insere algumas coisas")
% (find-2024lean4of0a2video "22:29" "no no buffer em que a gente tá na")
% (find-2024lean4of0a2video "22:31" "posição em que a gente")
% (find-2024lean4of0a2video "22:32" "tá deixa eu mostrar como ela funciona")
% (find-2024lean4of0a2video "22:35" "para vocês eu tô aqui vou bater meta x")
% (find-2024lean4of0a2video "22:38" "cr3 enter e ele cria um bloquinho desse")
% (find-2024lean4of0a2video "22:41" "e eu posso botar um programinha em lin")
% (find-2024lean4of0a2video "22:43" "aqui dentro")
% (find-2024lean4of0a2video "22:46" "ah e se eu quiser ver o código fonte eu")
% (find-2024lean4of0a2video "22:49" "posso bater meta H metaf")
% (find-2024lean4of0a2video "22:52" "cr3 E posso voltar para cá e o código")
% (find-2024lean4of0a2video "22:55" "fonte é isso aqui ela não tem um DOC")
% (find-2024lean4of0a2video "22:56" "string então entender ela a gente tem")
% (find-2024lean4of0a2video "22:59" "que ir para código fonte")
% (find-2024lean4of0a2video "23:03" "ah a última coisa que eu quero mostrar")
% (find-2024lean4of0a2video "23:06" "vai ser a base para exercício grande de")
% (find-2024lean4of0a2video "23:08" "hoje que eu não sei se as pessoas vão")
% (find-2024lean4of0a2video "23:09" "querer fazer no horário da aula ou bem")
% (find-2024lean4of0a2video "23:12" "depois é o seguinte")
% (find-2024lean4of0a2video "23:15" "Ah esse link daqui ele vai para um outro")
% (find-2024lean4of0a2video "23:18" "bloco de anotações dentro desse arquivo")
% (find-2024lean4of0a2video "23:21" "de anotações de linha ele vai para um")
% (find-2024lean4of0a2video "23:23" "bloco cujo título é")
% (find-2024lean4of0a2video "23:25" "und E aí esses trechos da aqui do do de")
% (find-2024lean4of0a2video "23:30" "um dos livros do lin o The improving in")
% (find-2024lean4of0a2video "23:33" "lin 4 Ele explica como usar o und ó a")
% (find-2024lean4of0a2video "23:37" "gente pode seguir isso aqui ele vai")
% (find-2024lean4of0a2video "23:39" "abrir o")
% (find-2024lean4of0a2video "23:48" "pdf e")
% (find-2024lean4of0a2video "23:51" "aqui ele explica como usar o")
% (find-2024lean4of0a2video "23:54" "und ele diz que isso disper link que o")
% (find-2024lean4of0a2video "23:57" "argumento é implícito")
% (find-2024lean4of0a2video "23:59" "e deve ser completado")
% (find-2024lean4of0a2video "24:01" "automaticamente e O interessante é que")
% (find-2024lean4of0a2video "24:03" "às vezes o Lin não consegue completar")
% (find-2024lean4of0a2video "24:05" "aquele argumento automáticamente mas ele")
% (find-2024lean4of0a2video "24:07" "retorna uma mensagem de erro")
% (find-2024lean4of0a2video "24:08" "interessante e é isso que eu vou mostrar")
% (find-2024lean4of0a2video "24:10" "para vocês agora lembrem que se eu")
% (find-2024lean4of0a2video "24:13" "executo isso eu vou para para aquele")
% (find-2024lean4of0a2video "24:15" "monol mas convertido para texto O que")
% (find-2024lean4of0a2video "24:18" "pode ser interessante para se a gente")
% (find-2024lean4of0a2video "24:19" "Quiser copiar trechos dele para PR as")
% (find-2024lean4of0a2video "24:22" "nossas anotações")
% (find-2024lean4of0a2video "24:26" "e pera aí ess aqui não nos interessa")
% (find-2024lean4of0a2video "24:29" "agora aqui tem mais algumas explicações")
% (find-2024lean4of0a2video "24:31" "a respeito de como esse und")
% (find-2024lean4of0a2video "24:34" "funciona não vou explicar isso agora")
% (find-2024lean4of0a2video "24:36" "botar vocês lerem ISO daqui a Pou e a")
% (find-2024lean4of0a2video "24:40" "gente vai BL em que se eu executar essa")
% (find-2024lean4of0a2video "24:46" "expressão ele diz que copiou 20 linhas")
% (find-2024lean4of0a2video "24:49" "pro clip bot que na terminologia da Max")
% (find-2024lean4of0a2video "24:51" "ring e eu posso usar control Y para")
% (find-2024lean4of0a2video "24:55" "pastar isso aqui para algum lugar então")
% (find-2024lean4of0a2video "24:56" "vou para cá")
% (find-2024lean4of0a2video "25:01" "normalmente o que eu faço quando já ten")
% (find-2024lean4of0a2video "25:03" "alguma coisa no meu arquivo temporário")
% (find-2024lean4of0a2video "25:05" "que eu vou pro início dele aí eu pasto")
% (find-2024lean4of0a2video "25:08" "as coisas que são novas e depois Eu")
% (find-2024lean4of0a2video "25:12" "deleto na mão as coisas antigas então")
% (find-2024lean4of0a2video "25:15" "isso aqui é um bloquinho que a gente vai")
% (find-2024lean4of0a2video "25:18" "testar essa primeira linha Ela diz que")
% (find-2024lean4of0a2video "25:22" "toda vez que aparecer em q p maiúsculo q")
% (find-2024lean4of0a2video "25:24" "maiúsculo e r maiúsculo")
% (find-2024lean4of0a2video "25:27" "sem ficações de qual é o tipo deles é")
% (find-2024lean4of0a2video "25:29" "pro Lina interpretar que eles são do")
% (find-2024lean4of0a2video "25:31" "tipo próprio")
% (find-2024lean4of0a2video "25:33" "proposição Então aqui tem um teorema")
% (find-2024lean4of0a2video "25:35" "trivial que é o seguinte eh se eu tenho")
% (find-2024lean4of0a2video "25:39" "uma prova de que pesão é verdadeiro eu")
% (find-2024lean4of0a2video "25:41" "vou chamar essa prova de pesinho então")
% (find-2024lean4of0a2video "25:42" "eu consigo provar que pesão é verdadeiro")
% (find-2024lean4of0a2video "25:44" "e minha demonstração simplesmente")
% (find-2024lean4of0a2video "25:46" "pezinho isso é por curry Howard que a")
% (find-2024lean4of0a2video "25:49" "gente vai ver um pouco mais tarde aqui")
% (find-2024lean4of0a2video "25:51" "tem uma prova um pouquinho mais difícil")
% (find-2024lean4of0a2video "25:54" "se eu tenho uma prova de que pesão é")
% (find-2024lean4of0a2video "25:55" "verdadeiro e eu tenho uma prova de que")
% (find-2024lean4of0a2video "25:58" "pesão implica quesão e eu vou chamar")
% (find-2024lean4of0a2video "26:00" "essa prova de PTC porque")
% (find-2024lean4of0a2video "26:03" "ela recebe uma prova de de p e converte")
% (find-2024lean4of0a2video "26:07" "ela para prova de q então eu sou capaz")
% (find-2024lean4of0a2video "26:10" "de provar q a partir daqui Digamos que")
% (find-2024lean4of0a2video "26:13" "eu não sei provar esse")
% (find-2024lean4of0a2video "26:16" "negócio deixa eu entrar em modo Full")
% (find-2024lean4of0a2video "26:18" "Screen aqui e aumentar a letra Então")
% (find-2024lean4of0a2video "26:21" "repara que aqui tem um und que o o Lin")
% (find-2024lean4of0a2video "26:26" "tá até botando um sublinhado com")
% (find-2024lean4of0a2video "26:29" "ondinhas e ele diz que ele não sabe o")
% (find-2024lean4of0a2video "26:31" "que colocar aqui mas ele nos dá um")
% (find-2024lean4of0a2video "26:33" "bocado de contexto pra gente descobrir o")
% (find-2024lean4of0a2video "26:35" "que colocar aqui então is dá dicas pra")
% (find-2024lean4of0a2video "26:38" "gente conseguir completar a demonstração")
% (find-2024lean4of0a2video "26:40" "ou completar uma determinada")
% (find-2024lean4of0a2video "26:42" "definição ele diz que nesse contexto eu")
% (find-2024lean4of0a2video "26:44" "sei quem são Pezão quez e rão são")
% (find-2024lean4of0a2video "26:48" "proposições eu sei que pezinho é umaa de")
% (find-2024lean4of0a2video "26:51" "p e sei que PT é uma prova de que pesão")
% (find-2024lean4of0a2video "26:54" "implica quesão e eu quero conseguir uma")
% (find-2024lean4of0a2video "26:56" "prova de quesão")
% (find-2024lean4of0a2video "26:59" "Então como é que eu posso fazer aosta tá")
% (find-2024lean4of0a2video "27:02" "aqui algumas linhas depois eu posso")
% (find-2024lean4of0a2video "27:04" "considerar esse cara como uma função")
% (find-2024lean4of0a2video "27:07" "quebe ess argumento e produz umaa")
% (find-2024lean4of0a2video "27:12" "Deão vamos imaginar que eu tandoo")
% (find-2024lean4of0a2video "27:16" "aqui algo mais a poucos Então")
% (find-2024lean4of0a2video "27:21" "imagina que eu me descobri que o que eu")
% (find-2024lean4of0a2video "27:24" "tenho que botar aqui é p aplicado alguma")
% (find-2024lean4of0a2video "27:27" "coisa")
% (find-2024lean4of0a2video "27:28" "repara que ele Highlight essas coisas")
% (find-2024lean4of0a2video "27:31" "dizendo que pque é esse cara daqui e")
% (find-2024lean4of0a2video "27:33" "agora só falta eu descobrir o que botar")
% (find-2024lean4of0a2video "27:35" "aqui e aí ele me dá um bocado de")
% (find-2024lean4of0a2video "27:38" "informações ele diz que quando eu tô")
% (find-2024lean4of0a2video "27:39" "nesse ponto eu tenho que botar aqui algo")
% (find-2024lean4of0a2video "27:41" "que seja um elemento de")
% (find-2024lean4of0a2video "27:44" "pesão E aí no meu")
% (find-2024lean4of0a2video "27:47" "contexto eu até sei uma variável que é")
% (find-2024lean4of0a2video "27:50" "um elemento de pesão é pezinho então se")
% (find-2024lean4of0a2video "27:53" "eu botar o pezinho aqui tudo vai dar")
% (find-2024lean4of0a2video "27:54" "certo")
% (find-2024lean4of0a2video "27:56" "e eu preciso que deem uma olhada nisso")
% (find-2024lean4of0a2video "27:59" "aqui também e nem sempre esse negócio do")
% (find-2024lean4of0a2video "28:01" "und funciona aqui tem um exemplo repara")
% (find-2024lean4of0a2video "28:04" "que aqui ele não conseguiu descobrir o")
% (find-2024lean4of0a2video "28:06" "que eh como completar isso aqui ele não")
% (find-2024lean4of0a2video "28:09" "quis nos dar")
% (find-2024lean4of0a2video "28:11" "dicas então Digamos que eu")
% (find-2024lean4of0a2video "28:14" "eh repara aqui eu defini esses cinco")
% (find-2024lean4of0a2video "28:17" "teoremas triv 1 triv 2 triv 3 triv 4")
% (find-2024lean4of0a2video "28:20" "triv 5 ah se eu der check neles o lind")
% (find-2024lean4of0a2video "28:24" "vai me mostrar o tipo de cada um deles e")
% (find-2024lean4of0a2video "28:27" "repara que ele com Conseguiu descobrir")
% (find-2024lean4of0a2video "28:29" "sozinho que pesão era de tipo próprio")
% (find-2024lean4of0a2video "28:33" "Ah aqui ele descobriu sozinho que pesão")
% (find-2024lean4of0a2video "28:37" "e quesão são de tipo próprio são")
% (find-2024lean4of0a2video "28:39" "dependências pro resto")
% (find-2024lean4of0a2video "28:43" "e")
% (find-2024lean4of0a2video "28:48" "eh então ele sabe os tipos de todas")
% (find-2024lean4of0a2video "28:51" "esses teoremas daqui e se eu peço para")
% (find-2024lean4of0a2video "28:54" "ele me dizer prova desse teorema ou seja")
% (find-2024lean4of0a2video "28:57" "como é que eles são definidos como")
% (find-2024lean4of0a2video "28:58" "funções por curry Howard aqui ele")
% (find-2024lean4of0a2video "29:01" "consegue me dizer direitinho como é que")
% (find-2024lean4of0a2video "29:03" "esse cara foi definido então o tipo tá")
% (find-2024lean4of0a2video "29:05" "explicado de um jeito um pouco diferente")
% (find-2024lean4of0a2video "29:08" "aqui tem uma função que ele definiu de")
% (find-2024lean4of0a2video "29:10" "uma determinada forma que a gente vai")
% (find-2024lean4of0a2video "29:11" "ver")
% (find-2024lean4of0a2video "29:12" "depois e o triv do que tem uma lacuna")
% (find-2024lean4of0a2video "29:17" "e ele roubou um pouquinho Ele disse que")
% (find-2024lean4of0a2video "29:20" "no lugar da lacuna ele teve que usar o")
% (find-2024lean4of0a2video "29:23" "sor o axioma do")
% (find-2024lean4of0a2video "29:25" "sorry Então a gente vai tentar ver isso")
% (find-2024lean4of0a2video "29:28" "no final da aula de hoje e ele faz a")
% (find-2024lean4of0a2video "29:30" "mesma coisa pro triv TR e triv 4 e no")
% (find-2024lean4of0a2video "29:35" "triv 5 ele não precisa do sor e ele")
% (find-2024lean4of0a2video "29:37" "consegue dizer que a função que a gente")
% (find-2024lean4of0a2video "29:39" "precisa é essa daqui")
% (find-2024lean4of0a2video "29:42" "então terminei o que eu queria fazer")
% (find-2024lean4of0a2video "29:44" "nesse primeiro vídeo vamos começar vou")
% (find-2024lean4of0a2video "29:47" "dar upload nele e a gente vai começar a")
% (find-2024lean4of0a2video "29:49" "aula")


]==]

-- Local Variables:
-- coding:  utf-8-unix
-- End: