GitHub - gfhcs/programma-spec: In this repository, the specification for the Programma language is going to be created.

gfhcs / programma-spec Public

In this repository, the specification for the Programma language is going to be created.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
dot-playground		dot-playground
lang-gen		lang-gen
material		material
.gitignore		.gitignore
E.txt		E.txt
R.txt		R.txt
definitions.tex		definitions.tex
ex_instance.tex		ex_instance.tex
foreword.tex		foreword.tex
grammar.txt		grammar.txt
index.sh		index.sh
introduction.tex		introduction.tex
keywords.txt		keywords.txt
language.tex		language.tex
lex.sml		lex.sml
lexical.tex		lexical.tex
lexical_grammar.tex		lexical_grammar.tex
logo.pdf		logo.pdf
logo.pdf_tex		logo.pdf_tex
ltablex.sty		ltablex.sty
nokeyword.txt		nokeyword.txt
proofs.tex		proofs.tex
specification.pdf		specification.pdf
specification.tex		specification.tex
specification_bnf_backup.tex		specification_bnf_backup.tex
specification_ref.pdf		specification_ref.pdf
title.tex		title.tex
title_backup.tex		title_backup.tex
var_pro_typ.tex		var_pro_typ.tex