| description | A programming language with algebraic effects and handlers. NOTE: THIS REPOSITORY IS OBSOLETE. THE PROJECT HAS MOVED TO GITHUB https://github.com/matijapretnar/eff. |
| owner | Andrej Bauer |
| last change | Wed, 07 Mar 2012 15:13:13 +0100 |
| 2 months ago | Matija Pretnar | Archived the repository. | changeset | files |
| 2 months ago | Matija Pretnar | Fixed conflicts target in makefile. | changeset | files |
| 2 months ago | Andrej Bauer | Working make dist | changeset | files |
| 2 months ago | Andrej Bauer | A working autoconf configuration | changeset | files |
| 2 months ago | Andrej Bauer | Probably a much better autoconf setup now | changeset | files |
| 2 months ago | Andrej Bauer | added install-sh and missing | changeset | files |
| 2 months ago | Andrej Bauer | Another attempt to get autoconf right | changeset | files |
| 2 months ago | Andrej Bauer | added eff and Makefile to .hgignore | changeset | files |
| 2 months ago | Andrej Bauer | Fixed installation of the executable. Still have to remove Makefile as target to avoid execution of automake | changeset | files |
| 2 months ago | Andrej Bauer | Better use of autoconf | changeset | files |
| ... | |||
| 5 months ago | non-sml-polymorphism | changeset | changelog | files |
| 19 months ago | eff-untyped-final | changeset | changelog | files |
| 20 months ago | subversion-import | changeset | changelog | files |
| ... | ||
| 2 months ago | 5a8bbe35c86a | default | changeset | changelog | files |
| 4 months ago | fac19eb065cd | effect-system | changeset | changelog | files |
| 5 months ago | ece43262b179 | coq-signature-as-struct | changeset | changelog | files |
| 13 months ago | 9c55856ac139 | first-class-effects | changeset | changelog | files |
| 13 months ago | fe8e3bd9a2a7 | handler_ty_without_operations | changeset | changelog | files |
| 13 months ago | 44e79ed40277 | efftype-syntax | changeset | changelog | files |
| 13 months ago | 9ec7e1a43e60 | handler-type-inference | changeset | changelog | files |
| 13 months ago | c1b82c68b258 | handler-kinds | changeset | changelog | files |
| 13 months ago | a5f09f1987f1 | refactoring | changeset | changelog | files |
| 13 months ago | d5965d7ba310 | kinds | changeset | changelog | files |
| 14 months ago | 2e5566baab74 | experiment | changeset | changelog | files |
| 14 months ago | ed08e60f0333 | no-else-if | changeset | changelog | files |
| 20 months ago | 8b29c1dc0808 | clean-parser | changeset | changelog | files |
| 20 months ago | 6591739b1a6e | no-extract | changeset | changelog | files |
| 20 months ago | 1b0b6293bf9d | subversion-import-fix | changeset | changelog | files |
| 20 months ago | fe6ae18d1b25 | eval-no-lazy | changeset | changelog | files |
| 20 months ago | 8a51b5766c57 | extract-no-cont | changeset | changelog | files |
| 20 months ago | 54185a716964 | Cosmetic changes | changeset | changelog | files |
| 20 months ago | 1451f9a1c087 | New desugar | changeset | changelog | files |
| 20 months ago | 3dc336d992d9 | extract-cont | changeset | changelog | files |
| ... | |||