Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "type_check"

Title:Type System for Prolog based on Hindley-Milner
Rating:Not rated. Create the first rating!
Latest version:1.0.1
SHA1 sum:a2a1f88e6849fa9467426d610a605ad11f5a6de7
Author:Tom Schrijvers <Tom.Schrijvers@UGent.be>

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
1.0.0c4cb8c96d3dddfaddbe03c50cf95b92eabb571b44http://users.ugent.be/~tschrijv/tor/type_check-1.0.0.zip
1.0.1a2a1f88e6849fa9467426d610a605ad11f5a6de758http://users.ugent.be/~tschrijv/tor/type_check-1.0.1.zip

Contents of pack "type_check"

Pack contains 3 files holding a total of 38.7K bytes.