../code/conceptPage.scroll

id mathsy
name Mathsy
appeared 1980
tags pl
lab Lawrence Livermore

country United States
reference https://semanticscholar.org/paper/dda48a3c7a244b73b3e5fe84c3b0ffe8dee2d1f4

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