tgrohens/GADT-typechecker tgrohens/GADT-typechecker

  • Stars
    star
    1
  • Language
    OCaml
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tgrohens/GADT-typechecker
github

tgrohens

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An OCaml typechecker for a ML-like language with Generalized Algebraic Data Types.

More Repositories

1

OPMORL-2.0

The curses version of the OverPowerful MObile Rogue-Like
C
6
star
2

Rsnake

A C/SDL Snake clone
C
3
star
3

ProjetSysdig

OCaml
1
star