agda-libjs (npm): JS bindings for Agda
Keywords: agda|library