Steven Shaw

The demo site is down: http://haskelltools.org/

I happened to be logging the arguments the `idris` process to a log file while testing the interactive features with vim. It seems that when you do a case-split, the...

That's all.

Hi Edwin, I've updated your SDL 1.x bindings to the latest version of Idris. This mainly involved adding some "export" and "public export" attributes. Also did some minor changes to...

to Founders & Coders

Change signing_domain and return_path_domain to Text

3

Just a tiny tweak to fix the types of the "domain" parameters. I'm only using `return_path_domain` and have tested this but it looked to me like `signing_domain` needed changing too.

Internal Server Error

1

Hi @stephenmcd, I just found LinkedOut and gave it a try but unfortunately got an "Internal Server Error" after authenticating via LinkedIn.