= Welcome to the Spec,,Haskell,, Trac =

This page host the bug-tracker.

== What Spec,,Haskell,, is ==

Spec,,Haskell,, project aims to provide a tool supporting:

 * Annotating Haskell sources with specifications.
 * Generating proof obligations from these specifications.
 * Different methods to verify these obligations.

== Status ==

Currently I'm working on my degree thesis which will be the start of this project, anyway I hope to commit some patches in the next months.