opam-repository/packages/lambdapi/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / lambdapi /

at main 11 folders

Merge pull request #21782 from kit-ty-kate/fix-90

3 years ago

lambdapi: remove un-required conflict (camlp-streams is now compatible with Stdlib.Stream)

3 years ago

lambdapi: remove un-required conflict (camlp-streams is now compatible with Stdlib.Stream)

3 years ago

lambdapi.2.2.1: fix bindlib lower bound

2 years ago

lambdapi: add upper bound on pratter

2 years ago

lambdapi: increase upper bound for why3

2 years ago

lambdapi: increase upper bound for why3

2 years ago

lambdapi: increase upper bound for why3

2 years ago

[new release] lambdapi (2.5.0)

2 years ago

update and shorten description

1 year ago

[new release] lambdapi (2.6.0)

10 months ago