Skip to content

/ infer

Interpreter for inference rules

View license
11 stars 0 forks
Star
Notifications
master
Switch branches/tags
1 branch 0 tags
Go to file
Code
Clone

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
bin
 
 
examples
 
 
lib
 
 
.gitignore
 
 
LICENSE.md
 
 
Makefile
 
 
README.md
 
 
infer.gemspec
 
 
package.json
 
 

README.md

infer

An ad-hoc informally specified bug-ridden slow implementation of half of Prolog, for the purpose of following Types and Programming Languages.

About

Interpreter for inference rules

Resources

Readme

License

View license

Releases

No releases published

Packages

No packages published

Languages