Akihisa Yamada
Results
1
issues of
Akihisa Yamada
Hi, installing lambdapi via Cygwin's opam fails with the following message. I don't need it fixed. Probably it's nice to state that Cygwin is not supported. ``` Processing actions [ERROR]...