../code/conceptPage.scroll

id triple
name TRIPLE
appeared 2002
tags pl

wordRank 5255
reference https://semanticscholar.org/paper/ee65ddf89aca3f4cdd66bce761a2ab08813b1323

hopl https://hopl.info/showlanguage.prx?exp=8298