Mercurial > urweb
diff lib/ur/basis.urs @ 2189:43393a4a66ce
JavaScript versions of a few more functions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 01 Nov 2015 14:17:09 -0500 |
parents | 14c45a0b6362 |
children | 849404a3af27 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 01 Nov 2015 14:17:09 -0500 |
parents | 14c45a0b6362 |
children | 849404a3af27 |