summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
Commit message (Collapse)AuthorAge
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* Update the manualGravatar Adam Chlipala2009-04-05
|
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
|
* spawnGravatar Adam Chlipala2009-04-04
|
* Checking spans in dynsGravatar Adam Chlipala2009-04-04
|
* Expunging non-nullable rowsGravatar Adam Chlipala2009-03-29
|
* Redo channels, making them single-clientGravatar Adam Chlipala2009-03-29
|
* Preliminary work supporting channels in databasesGravatar Adam Chlipala2009-03-26
|
* Make sql_injectable class nicer with inclusionGravatar Adam Chlipala2009-03-26
|
* Proper recvGravatar Adam Chlipala2009-03-22
|
* First message send delivered, but not interpretedGravatar Adam Chlipala2009-03-22
|
* Update old Ur/Web library section, before adding new stuffGravatar Adam Chlipala2009-03-12
|
* Top.Fold.concat elaboratesGravatar Adam Chlipala2009-02-24
|
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
|
* Combine lib* directoriesGravatar Adam Chlipala2009-01-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-10 19:32:01 +0000