amelia
/
setoid
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
a type theory with equality based on setoids
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.
1 Commit
1 Branch
38 KiB
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
setoid/setoid.cabal

35 lines
1.1 KiB
Raw Permalink Normal View History

need to throw this stuff on git
3 years ago
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
 
  1. name:                setoid
  2. version:             0.1.0.0
  3. -- synopsis:
  4. -- description:
  5. homepage:            https://github.com/plt-hokusai/setoid#readme
  6. license:             BSD3
  7. license-file:        LICENSE
  8. author:              Abigail Magalhães
  9. maintainer:          [email protected]
  10. copyright:           2020 Abigail Magalhães
  11. category:            Web
  12. build-type:          Simple
  13. cabal-version:       >=1.10
  14. extra-source-files:  README.md
  15. 

  16. executable setoid
  17.   hs-source-dirs:      src
  18.   main-is:             Main.hs
  19.   default-language:    Haskell2010
  20.   build-depends:       mtl
  21.                      , syb
  22.                      , base
  23.                      , text
  24.                      , ghc-prim
  25.                      , containers
  26.                      , unordered-containers
  27. 

  28.   other-modules:       Syntax
  29.                      , Syntax.Pretty
  30.                      , Presyntax
  31.                      , Evaluate
  32.                      , Elaboration
  33.                      , Value
  34.                      , Presyntax.Lexer
  35.                      , Presyntax.Parser
  36.                      , Elaboration.Monad