hbr

fmlib

Functional Monadic Library for Ocaml

Lambda-Calculus

Some papers on "Lambda Calculus"

albatross

Compiler for the Albatross Language

alba-lang-description

Language description of the Albatross programming language

fmlib_examples

Examples using the fmlib ocaml library

javascript

Programming

Programming Examples

tex_alba_design

Draft Paper in Tex

alba-lang

hbr.github.io

alba-lang-examples

Example programs in Albatross

alba.base

Base library of the Albatross Compiler

albatross_web

(Web) Documentation of Albatross

coqlib

mytexpapers

opam-repository

Main public package repository for opam, the source package manager of OCaml.

tests_with_travis

tex_typed_lambda