less prototype, less bad code implementation of CCHM type theory
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines
539 B

  1. # This file was autogenerated by Stack.
  2. # You should not edit this file by hand.
  3. # For more information, please see the documentation at:
  4. # https://docs.haskellstack.org/en/stable/lock_files
  5. packages: []
  6. snapshots:
  7. - completed:
  8. size: 565720
  9. url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/17/8.yaml
  10. sha256: 76bf8992ff8dfe6eda9c02f81866138c2369344d5011ab39ae403457c4448b03
  11. original:
  12. url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/17/8.yaml