Re: [racket-users] Heresy 0.3.0 released

[John Berry]

Indeed they are! I had forgotten about the delay and thought perhaps it had 
changed. Thanks!

Sent from my iPhone

> On 30 Apr 2018, at 16.33, Matthew Flatt  wrote:
> 
> At Mon, 30 Apr 2018 14:14:02 +0300, Annaia Berry wrote:
>> Version 0.3.0 of the Heresy programming language has been released,
> 
> That's great!
> 
>> * Note: There seems to be an issue with the package server as it's not
>> rebuilding the hosted docs for me at the moment despite running the recheck
>> twice. I don't know if I'm doing something wrong, someone needs to kick the
>> server, or it's just going to take a moment.
> 
> The docs rebuild once every 24 hours, and the build just completed. Are
> the current docs now as expected?
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Heresy 0.3.0 released

[Matthew Flatt]

At Mon, 30 Apr 2018 14:14:02 +0300, Annaia Berry wrote:
> Version 0.3.0 of the Heresy programming language has been released,

That's great!

> * Note: There seems to be an issue with the package server as it's not
> rebuilding the hosted docs for me at the moment despite running the recheck
> twice. I don't know if I'm doing something wrong, someone needs to kick the
> server, or it's just going to take a moment.

The docs rebuild once every 24 hours, and the build just completed. Are
the current docs now as expected?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Heresy 0.3.0 released

[Annaia Berry]

Greetings,

Version 0.3.0 of the Heresy programming language has been released,
containing a re-implementation of Holes based on Racket boxes, while
maintaining the same basic API, plus additional support for a "hole-do" DSL
for monadic operations on holes.

Special thanks to Greg Hendershott, for both rackjure, which provided some
of the internals for the new holes implementation, and for his
travis-racket scripts which enabled me to set up CI for Heresy with Travis.

You can find Heresy on Github , or
install with raco pkg install heresy. Docs are available at
http://docs.racket-lang.org/heresy/index.html* or locally after install.

Thanks for your time!
Annaia


* Note: There seems to be an issue with the package server as it's not
rebuilding the hosted docs for me at the moment despite running the recheck
twice. I don't know if I'm doing something wrong, someone needs to kick the
server, or it's just going to take a moment.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.