Skip to content

Instantly share code, notes, and snippets.

View hensou's full-sized avatar

Henrique Sousa hensou

34 followers · 50 following
View GitHub Profile
@hensou
hensou / keybase.md
Created September 8, 2018 11:11

Keybase proof

I hereby claim:

  • I am hensou on github.
  • I am hensou (https://keybase.io/hensou) on keybase.
  • I have a public key ASBYwU5qkOennBhN44bAWeB82jXq0rVN0N0lCj2rDJSG4Qo

To claim this, I am signing this object:

@hensou
hensou / main.ml
Created November 17, 2017 11:27
open Lexing
open Parser
open Printf
open Tipos
open MenhirLib.General
open Parse
type element = {
escopo : int;
identificador : string;
@hensou
hensou / tpp_bnf_v2.bnf
Created May 4, 2017 21:12
# Programa
<programa> ::= <declaracoes_definicoes>
# Declaracoes
<declaracoes_definicoes> ::= <declaracao_definicao> | <declaracao_definicao> <declaracoes_definicoes>
<declaracao_definicao> ::= <declaracao> | <definicao>
<definicao> ::= <definicao_funcao>
<declaracao> ::= <declaracao_variavel>
| <declaracao_condicional>
| <declaracao_expressao>
@hensou
hensou / BNF TPP
Last active April 20, 2017 04:52
BNF TPP
# Programa
<programa> ::= <declaracoes_definicoes>
# Declaracoes
<declaracoes_definicoes> ::= <declaracao_definicao> | <declaracao_definicao> <declaracoes_definicoes>
<declaracao_definicao> ::= <declaracao> | <definicao>
<definicao> ::= <definicao_funcao>
<declaracao> ::= <declaracao_variavel>
| <declaracao_condicional>
| <declaracao_expressao>