GitHub repository: Deducteam/opam-lambdapi-repository
Primary language: Shell
Description: Opam repository of Lambdapi libraries