copl-tools

Tools for the book "Concepts of Programming Languages" including:

• gmc: Generates an OCaml functon to check derivations from a formal definition of a derivation system.

• checker: Derivation checker.

• cgi: CGI scripts in Gauche for the CoPL web site at http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/.

• doc: Documentation.

AUTHOR

Written by Atsushi Igarashi [email protected].

COPYRIGHT

Copyright (C) 2014 Atsushi Igarashi. Licensed under MIT License. This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law.