www.getcontented.com.au
www.getcontented.com.au
Just wondering if you have plans to update this to work with 0.17.0?
https://github.com/plfa/plfa.github.io/blob/dev/src/plfa/part1/Induction.lagda.md It isn't clear that `step-≡` within the following line is what imports what is being referred to as `_≡⟨_⟩_` in the rest of the text: ``` open Eq.≡-Reasoning using...
I'm grappling with a requirement: We're currently using Heroku for deployment (using CLJS on front end, RoR on backend - groan). I'd like very much to switch to Haskell and...
Is upload progress still on the cards?
While running `mdbook test` across my local fork so I could create a PR, I noticed there are many errors reported.
Sure like the idea of this ;-) Bit sad there's no code to go with it. :) Was watching a video of you the other day talking about your mentoring...
Jasmine 2.0?
Hiya, Can I help out with Jasmine 2 support? What needs to be done? I've just been dipping my toe into converting all my qunit tests to jasmine because I...
Hi, I have a use-case for a new type of workflow which is for single page applications. These require user/pass combo through a http post, but there's no form or...