camlp5 / pa_hol_syntax Public

forked from chetmurthy/pa_hol_syntax

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Camlp5 support for HOL-specific OCaml syntax

0 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
config		config
pa_hol_syntax		pa_hol_syntax
tests		tests
tools		tools
.gitignore		.gitignore
CHANGES		CHANGES
Makefile		Makefile
README.md		README.md
Version.pm		Version.pm
opam		opam

Repository files navigation

Camlp5 Support for HOL-Specific version of OCaml syntax

Version

This is pa_hol_syntax (alpha) version 0.01.

Overview

About

Camlp5 support for HOL-specific OCaml syntax

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

OCaml 95.6%
Makefile 2.9%
Perl 1.1%
Shell 0.4%