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.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
