We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
4a773e1
ci: test new versions of lambdapi (#8)
47dd560
add logic.opam
