This repository is an exploration of using BANSHEE to as the constraint solver for a type inference system for R. If you're looking for the original BANSHEE project, go here or here instead.