Prototype, extremely bad code implementation of CCHM Cubical 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.

67 lines
2.2 KiB

3 years ago
  1. # This file was automatically generated by 'stack init'
  2. #
  3. # Some commonly used options have been documented as comments in this file.
  4. # For advanced use and comprehensive documentation of the format, please see:
  5. # https://docs.haskellstack.org/en/stable/yaml_configuration/
  6. # Resolver to choose a 'specific' stackage snapshot or a compiler version.
  7. # A snapshot resolver dictates the compiler version and the set of packages
  8. # to be used for project dependencies. For example:
  9. #
  10. # resolver: lts-3.5
  11. # resolver: nightly-2015-09-21
  12. # resolver: ghc-7.10.2
  13. #
  14. # The location of a snapshot can be provided as a file or url. Stack assumes
  15. # a snapshot provided as a file might change, whereas a url resource does not.
  16. #
  17. # resolver: ./custom-snapshot.yaml
  18. # resolver: https://example.com/snapshots/2018-01-01.yaml
  19. resolver:
  20. url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/17/1.yaml
  21. # User packages to be built.
  22. # Various formats can be used as shown in the example below.
  23. #
  24. # packages:
  25. # - some-directory
  26. # - https://example.com/foo/bar/baz-0.0.2.tar.gz
  27. # subdirs:
  28. # - auto-update
  29. # - wai
  30. packages:
  31. - .
  32. # Dependency packages to be pulled from upstream that are not in the resolver.
  33. # These entries can reference officially published versions as well as
  34. # forks / in-progress versions pinned to a git hash. For example:
  35. #
  36. # extra-deps:
  37. # - acme-missiles-0.3
  38. # - git: https://github.com/commercialhaskell/stack.git
  39. # commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
  40. #
  41. # extra-deps: []
  42. # Override default flag values for local packages and extra-deps
  43. # flags: {}
  44. # Extra package databases containing global packages
  45. # extra-package-dbs: []
  46. # Control whether we use the GHC we find on the path
  47. # system-ghc: true
  48. #
  49. # Require a specific version of stack, using version ranges
  50. # require-stack-version: -any # Default
  51. # require-stack-version: ">=2.5"
  52. #
  53. # Override the architecture used by stack, especially useful on Windows
  54. # arch: i386
  55. # arch: x86_64
  56. #
  57. # Extra directories used by stack for building
  58. # extra-include-dirs: [/path/to/dir]
  59. # extra-lib-dirs: [/path/to/dir]
  60. #
  61. # Allow a newer minor version of GHC than the snapshot specifies
  62. # compiler-check: newer-minor