Giters

crvdgc / tapl

An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tapltypes-and-programming-languages

This repository is not active

About

An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

tapltypes-and-programming-languages

Languages

Language:OCaml 79.2%Language:Nix 20.2%Language:Raku 0.5%