Brenno Rodrigues BRonen

Como Pensar

Ler e entender um pouco desse artigo. https://wiki.c2.com/?FeynmanAlgorithm

Reconhecer como você pensa
Descrever métodos que você usa para pensar
Entender métodos diferentes de pensar
Fazer perguntas sobre tudo(incluindo sobre perguntas)

Perguntas

Set Universe Polymorphism.

Definition Eq_0 {A : Type} (x y : A) := forall (P : A -> Type), P x -> P y.
Definition refl_0 {A : Type} {x : A} : Eq_0 x x := fun P p_x => p_x.

Definition Eq_1 {T_0 : Type} {T_1 : T_0 -> Type} {x_0 y_0 : T_0} (x_1 : T_1 x_0) (y_1 : T_1 y_0)
  := forall (P : forall z_0, T_1 z_0 -> Type), P x_0 x_1 -> P y_0 y_1.
Definition refl_1 {T_0 : Type} {T_1 : T_0 -> Type} {x_0 : T_0} {x_1 : T_1 x_0} : Eq_1 x_1 x_1 := fun P p_x => p_x.

A maneira mais comum para começar a estudar Rust é ler o livro oficial da linguagem. Irá ensinar sobre vários dos conceitos mais importantes sobre a linguagem.

Versão em Inglês, "The Rust Programming Language"
Versão em Português (tradução), "A Linguagem de Programação Rust"

A leitura pode ser acompanhada por:

	const { default: axios } = require('axios');
	const qrcode = require('qrcode-terminal');
	const { Client, MessageMedia } = require('whatsapp-web.js');
	const client = new Client();

	client.on('qr', (qr) => {
	// Generate and scan this code with your phone
	qrcode.generate(qr, {small: true});
	});