GitHub - cogtoto/pub: lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code

Lambda calculus, types system, interpreter, compiler, rewriting, resolution... and some other maths I love

See the Tex document (in French), the compiled pdf doc

Contains OCAML, SCHEME, COQ and AGDA code

Have a happy reading !

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
.vscode		.vscode
AGDA		AGDA
BOOK		BOOK
COQ		COQ
CSHARP		CSHARP
DREAM		DREAM
OCAML		OCAML
OCAMLtoJS		OCAMLtoJS
R		R
SCHEME		SCHEME
_build		_build
app		app
document		document
formalmetacoq		formalmetacoq
miniSchemev5		miniSchemev5
node_modules		node_modules
obj		obj
readme_fichiers		readme_fichiers
.gitignore		.gitignore
README.md		README.md
basique.html		basique.html
basique.synctex.gz		basique.synctex.gz
book.code-workspace		book.code-workspace
coqdoc.css		coqdoc.css
imp.html		imp.html
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
test		test
test.600pk		test.600pk
test.png		test.png
uncurry.html		uncurry.html

cogtoto/pub