Still red box. One day ..
> On Feb 16, 2018, at 4:21 PM, stewart mackenzie <setor...@gmail.com> wrote: > > Hi Seamus, > > Thanks for this, I'm setting out to build a rather large project using > Racket and its GUI. > I thought about using Idris compiling to the electron platform but > chose against it because of electron's memory usage. > > So far my dive into Racket has positive, it's magical how I can switch > from untyped Racket to typed Racket simply by changing #lang. > Banging out my thoughts in a beautiful lisp 1, wave a finger, then > finger crack to type check. Just sublime. > > In theme with this thread I'd also like to express my thanks to this > community, I certainly hope projects like Hackett come to maturity! > > Might be a good time to ask on VeriRacket? Is this a thing, or is it > still in a red box? [1] > > kr/sjm > > [1] pg 25 https://con.racket-lang.org/2015/felleisen.pdf -- 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.
