[Ur] Learning Ur/Web

[Adam Chlipala]

nitralime wrote:
> **I have just some rudimentary acquaintance
> with SML (I learned it a few years a go) and need to refresh my knowledge.
> I know very little about Haskell and dependent types!
>
> What is your recommendation?
> How and where should I begin to learn about Ur/Web?
> Note that I am coming from a non CS background.

I would recommend writing some significant programs in both Haskell and 
ML.  The latter means either of SML or OCaml.  I've not yet invested any 
effort in creating documentation for people who haven't already done as 
I'm suggesting here; maybe someone else will write such documentation 
some day.