guru is a programming language created in 2009.
#3225on PLDB | 15Years Old |
Inductive trie : Fun(A:type).type :=
trie_none : Fun(A:type).<trie A>
| trie_exact : Fun(A:type)(s:string)(a:A).<trie A>
| trie_next : Fun(A:type)(o:<option A>)
(unique l:<charvec <trie A>>).
<trie A>.