Wrote an Idris EDSL for emitting PostScript programs with statically-known stack effects. https://gist.github.com/nvanderw/9729860 …
-
-
@edwinbrady Thanks! I didn't want to have to extend the ADT for every word in the language though, hence the unsafe ops. -
@nvanderw Yes, my second thought was that 'word' taking a required stack size might be better. - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.