This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
pub:software:heart [2014/03/21 14:44] sbk |
pub:software:heart [2018/10/14 20:51] (current) gjn |
||
---|---|---|---|
Line 15: | Line 15: | ||
Concept, design, implementation, | Concept, design, implementation, | ||
Extended implementation: | Extended implementation: | ||
- | |||
- | ===== Releases ===== | ||
- | |||
- | |||
- | ===== Specification ===== | ||
- | |||
- | ==== ALSV(FD)==== | ||
- | === Values === | ||
- | === Operators === | ||
- | |||
- | |||
- | |||
- | ==== Inference strategies ==== | ||
- | ==== Protocol ==== | ||
===== Comments ===== | ===== Comments ===== |