Giters

yuga / readtapl

a Haskell port of OCaml implementation for "Types and Programming Languages" by Benjamin C. Pierce.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

a Haskell port of OCaml implementation for "Types and Programming Languages" by Benjamin C. Pierce.

Languages

Language:Haskell 99.0%Language:Fortran 1.0%