diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-02-10 16:15:32 +0100 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-02-10 16:15:32 +0100 |
| commit | 3461224d76ddbd69a165f294a73fb21b84341580 (patch) | |
| tree | dce244342e486ed260667082c803fff2c373e132 | |
| parent | 2f9995179b6725e89f9fda16aac7aed48d4c5e96 (diff) | |
| download | Praspel-3461224d76ddbd69a165f294a73fb21b84341580.zip Praspel-3461224d76ddbd69a165f294a73fb21b84341580.tar.gz Praspel-3461224d76ddbd69a165f294a73fb21b84341580.tar.bz2 | |
Add the state of the library.
| -rw-r--r-- | .State | 1 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -0,0 +1 @@ +beta @@ -3,7 +3,7 @@ Hoa is a **modular**, **extensible** and **structured** set of PHP libraries. Moreover, Hoa aims at being a bridge between industrial and research worlds. -# Hoa\Praspel +# Hoa\Praspel  Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract paradigm |