This repository has been archived by the owner on Dec 27, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
examples		examples
src		src
tests		tests
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
OMakefile		OMakefile
OMakeroot		OMakeroot
README.md		README.md

Repository files navigation

fj

Featherweight Java type checker

Requirements

Menhir
OCaml
ocamlfind
OMake
OUnit

Compile & Run

omake
./src/main <source.java>

Test

Unit tests

omake test

Examples

./examples/run.sh

References

About

Featherweight Java type checker

Report repository

Releases

No releases published

Sponsor this project

Learn more about GitHub Sponsors

Packages

No packages published

Languages

OCaml 100.0%