search

atzedijkstra / logict-state

Library for logic programming based on haskell package logict
BSD 3-Clause "New" or "Revised" License
7 stars 1 forks source link

Request: Addition to Stackage #2

Closed asr closed 7 years ago

asr commented 7 years ago

We are planning to build Agda using Stackage. Please consider to add logic-state to Stackage. See instructions here.

asr commented 7 years ago

Blocking https://github.com/agda/agda/issues/2396.

asr commented 7 years ago

Closing because https://github.com/UU-ComputerScience/uhc/issues/91#issuecomment-277565363.