Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
code which could be moved into the core library somewhen in the future. Contact me to get commit access
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Type||Name||Latest commit message||Commit time|
|Failed to load latest commit information.|
This could be an extension to urwebs standard library. Maybe some code from here will be moved into the standard library later. Put most valuable documentation into the .urs file, please!