Search results

Integrate pyResp

enhancement

Status: Open.

#18 In pSpaces/Programming-with-Spaces;

· albertolluch opened on Oct 15, 2017

Introduce mechanisms to control how spaces are exported in a repository.

enhancement

Status: Open.

#15 In pSpaces/Programming-with-Spaces;

· michele-loreti opened on Oct 11, 2017

Pursuit of language-independent specification in current and future API's

enhancement

Status: Open.

#14 In pSpaces/Programming-with-Spaces;

· ghost opened on Oct 10, 2017

Introducing <code>putp</code> operator to the Space API

enhancement

Status: Open.

#13 In pSpaces/Programming-with-Spaces;

· ghost opened on Oct 10, 2017

Bounded spaces

enhancement

Status: Open.

#12 In pSpaces/Programming-with-Spaces;

· albertolluch opened on Oct 7, 2017

Specify patterns and pattern matching

todo

Status: Open.

#9 In pSpaces/Programming-with-Spaces;

· albertolluch opened on Oct 7, 2017