Date Range
Date Range
Date Range
Domingo, 12 de janeiro de 2014. O Maranhão, a intervenção federal e o financiamento de campanha. O Maranhão está em destaque no O GLOBO há algumas semanas pela crise na segurança pública. Não sei qual a proporção, mas aqui no Rio de Janeiro passamos por várias destas sem que houvesse pressão por intervenção federal, no sentido técnico-jurídico da palavra. Essa modalidade de intervenção a partir de uma representação interventiva recebeu recentemente nova regulamentação pela Lei 12.
Sexta-feira, 1 de maio de 2015. Esperança, esperança e a porta. Segunda-feira, 14 de outubro de 2013. Terça-feira, 1 de outubro de 2013. A primeira vez que chorei. A primeira vez que ocorre. É a primeira vez que sente.
Sexta-feira, 1 de maio de 2015. Esperança, esperança e a porta. Segunda-feira, 14 de outubro de 2013. Terça-feira, 1 de outubro de 2013. A primeira vez que chorei. A primeira vez que ocorre. É a primeira vez que sente.
La Vérité sort de la bouches des enceintes. Ou Je me sentirais enfin en Liberté. L es bi e n ne.
ExtLib reinvisions the Coq standard library to be a little more Haskell like. MirrorCore is my thesis work on making computational reflection compositional. It features a higher-order extensible reflective language as well as a fully-reflective tactic language similar to Ltac.
i have no idea why things changed all of a sudden. i feel so distant to alot of people. The sad part there is.