User contributions
From Impredicative Wiki
- 22:07, 16 December 2011 (diff | hist) . . (0) . . m Libraries and FFI bindings (→uw-ruby: fix url)
- 17:39, 5 January 2011 (diff | hist) . . (-345) . . Libraries and FFI bindings (drop libraries which are listed on /ur)
- 18:03, 21 December 2010 (diff | hist) . . (+45) . . N Pitfalls - things which can go wrong (New page: stack overflows result in segmentation faults)
- 18:02, 21 December 2010 (diff | hist) . . (+43) . . Ur (→Topics)
- 19:14, 20 December 2010 (diff | hist) . . (+1,473) . . N Disjointness fun - creating records using type level functions (New page: Example taking 2 names and 2 types then 2 values yielding a record expression illustrating how to use guarded types (* Here is a function which takes two names and two types (type level...) (current)
- 19:05, 20 December 2010 (diff | hist) . . (+69) . . Code Samples (→Records: adding new article disjointness fun - creating records using type level functions) (current)
- 12:10, 19 December 2010 (diff | hist) . . (+801) . . N Best practices (new page talking about some best practices) (current)
- 11:58, 19 December 2010 (diff | hist) . . (+21) . . m Ur (add best practises link)
- 13:41, 14 December 2010 (diff | hist) . . (+233) . . Libraries and FFI bindings (adding Adam's new meta and gui library)
- 21:56, 12 December 2010 (diff | hist) . . (+378) . . N Won't fix (New page: I think that some issues should be put on the wiki - because its much more likely to be read that the bug tracker. === "DELETE FROM TABLE" without WHERE is not allowed === quoting Adam: ...) (current)
- 21:53, 12 December 2010 (diff | hist) . . (-7) . . m Ur (→Topics: add won't fix page)
- 13:42, 12 December 2010 (diff | hist) . . (+842) . . N Ur-based Hosting (write down that several peole are willing to help finding a hosting solution - if there is need.) (current)
- 13:35, 12 December 2010 (diff | hist) . . (+23) . . m Ur (→Topics: add a subpage telling about hosting facilities)
- 18:06, 11 December 2010 (diff | hist) . . (+506) . . m Libraries and FFI bindings (add urweb-library repository)
- 09:28, 8 December 2010 (diff | hist) . . (+219) . . m Libraries and FFI bindings (adding pointer to json sample implementation posted by Adam Chlipala on the mailinglist)
- 09:07, 8 December 2010 (diff | hist) . . (+283) . . Libraries and FFI bindings (→process: adding reference to ruby ffi bindings)
- 09:04, 8 December 2010 (diff | hist) . . (+33) . . m Ur (→Topics: add link to libraries and ffi bindings page)
- 16:55, 28 November 2010 (diff | hist) . . (+240) . . N Libraries and FFI bindings (New page: == process == This library let's you run arbitrary command lines. http://gitorious.org/some-urweb-utility-libraries/uw-process be aware that there is a chance that the process code is call...)
- 16:10, 18 November 2010 (diff | hist) . . (+107) . . N Contributing to this wiki (document how to get an account for this wiki)
- 16:07, 18 November 2010 (diff | hist) . . (+31) . . m Ur (→Topics)
- 06:38, 18 November 2010 (diff | hist) . . (+12) . . m Companies supporting the urweb language (adding country info)
- 06:35, 18 November 2010 (diff | hist) . . (+866) . . N Companies supporting the urweb language (adding lits of companies / freelancers who are interested in supporting urweb)
- 06:26, 18 November 2010 (diff | hist) . . (+46) . . m Ur (→Topics: link to page listing companies providing support for urweb)
- 06:27, 28 September 2010 (diff | hist) . . (+166) . . m Ur FAQ (adding link to official FAQ. hint about splitting projects) (current)
- 10:37, 24 September 2010 (diff | hist) . . (+615) . . N Ur FAQ (Adding initial FAQ page and some contents)
- 10:26, 24 September 2010 (diff | hist) . . (+20) . . m Ur (→Topics: add FAQ)
- 11:27, 23 September 2010 (diff | hist) . . (+69) . . m Ur (adding link to some Vim code supporting .ur files)