Mercurial > urweb

view tests/polyjsFfi.urs @ 2279:32a407902d3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rewrite LRU cache. Now uses one big hash table and is less buggy.
author Ziv Scully <ziv@mit.edu>
date Wed, 11 Nov 2015 20:01:48 -0500
parents 276fa06428ba
children
line wrap: on
line source
val one : a ::: Type -> a -> a
val two : a ::: Type -> b ::: Type -> a -> b