@edwinbrady I'd need my universal quantifier in Idris to go further in my experiment, any seconds to allocate to me? :p
-
-
@edwinbrady to be complete, I'm porting this haskell code in Idris for fun, learn, compare between scala/hs/idris) https://github.com/aaronlevin/free-vl/blob/master/src/Control/Monad/Free/VanLaarhoven.hs … -
@edwinbrady I have written the code in Scala here https://github.com/mandubian/freevan/blob/master/src/main/scala/freevan.scala … - 3 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.