Support for integer constants in DSL #36

Closed
phadej opened this Issue Oct 26, 2014 · 0 comments

Comments

Projects
None yet
1 participant
@phadej
Member

phadej commented Oct 26, 2014

var arb = jsc.dsl("nat 5"); // generates natural numbers <= 5

@phadej phadej added this to the 0.5.0 milestone Oct 26, 2014

@phadej phadej added the enhancement label Oct 26, 2014

@phadej phadej closed this in f395101 Nov 8, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment