@puffnfresh Does Idris-as-a-library allow doing incremental type-inference (infer with holes, fill holes)? Is there an interpreter?
-
-
Replying to @EyalL
@EyalL 99% of Idris is exported. Does idris --ideslave already do this for Vim/Emacs modes? Would be here: https://github.com/idris-lang/Idris-dev/blob/master/src/Idris/REPL.hs#L255-L309 …2 replies 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh I guess no alternative to just diving in to see :-)1 reply 0 retweets 0 likes
Replying to @EyalL
@EyalL @puffnfresh you could wait for one of us to document it :). Yes, maybe better just to dive in...
8:02 AM - 23 Dec 2013
0 replies
0 retweets
0 likes
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.