1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.35.1.
--
-- see: https://github.com/sol/hpack
name: minilang
version: 0.1.0.0
description: Please see the README on Github at <https://github.com/abailly/xxi-century-typed/minilang#readme>
homepage: https://github.com/abailly/minilang#readme
bug-reports: https://github.com/abailly/minilang/issues
author: Arnaud Bailly
maintainer: arnaud@pankzsoft.com
copyright: 2025 Arnaud Bailly
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
location: https://github.com/abailly/minilang
library
exposed-modules:
Minilang.IO
Minilang.Lambda
Minilang.Lambda.Unify
Minilang.Lambda.DeBruijn
Minilang.Lambda.Eval
Minilang.Lambda.Infer
Minilang.Lambda.Parser
Minilang.Log
Minilang.REPL
Minilang.REPL.Haskeline
Minilang.REPL.IO
Minilang.REPL.Net
Minilang.REPL.Pure
Minilang.REPL.Purer
Minilang.REPL.Run
Minilang.REPL.Types
Minilang.Server
hs-source-dirs:
src
default-extensions:
DeriveGeneric
OverloadedStrings
FlexibleInstances
MultiParamTypeClasses
FlexibleContexts
RecordWildCards
NamedFieldPuns
GeneralizedNewtypeDeriving
ghc-options: -Wall -fno-warn-orphans
build-depends:
aeson
, async
, base
, bytestring
, cereal
, containers
, data-default
, directory
, exceptions
, fast-logger
, filepath
, haskeline
, megaparsec
, mtl
, stm
, text
, time
, unordered-containers
, wai
, wai-app-static
, wai-extra
, websockets
, wai-websockets
, warp
default-language: Haskell2010
test-suite minilang-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Minilang.IOSpec
Minilang.Lambda.InferSpec
Minilang.Lambda.DeBruijnSpec
Minilang.Lambda.EvalSpec
Minilang.Lambda.ParserSpec
Minilang.REPLSpec
Minilang.REPL.HaskelineSpec
Minilang.REPL.NetSpec
hs-source-dirs:
test
default-extensions:
DeriveGeneric
OverloadedStrings
FlexibleInstances
MultiParamTypeClasses
FlexibleContexts
RecordWildCards
NamedFieldPuns
GeneralizedNewtypeDeriving
ghc-options: -Wall -fno-warn-orphans -threaded -rtsopts -with-rtsopts=-N
build-tool-depends:
hspec-discover:hspec-discover
build-depends:
QuickCheck
, aeson
, async
, base
, bytestring
, containers
, data-default
, directory
, exceptions
, filepath
, haskeline
, hspec
, hspec-discover
, http-types
, minilang
, mtl
, stm
, text
, unix
, unordered-containers
, wai
, warp
, websockets
default-language: Haskell2010
executable lambda
main-is: Main.hs
other-modules:
Paths_minilang
hs-source-dirs:
app
default-extensions:
DeriveGeneric
OverloadedStrings
FlexibleInstances
MultiParamTypeClasses
FlexibleContexts
RecordWildCards
NamedFieldPuns
GeneralizedNewtypeDeriving
ghc-options: -Wall -fno-warn-orphans -threaded -rtsopts -with-rtsopts=-N
build-depends:
base
, containers
, minilang
, optparse-applicative
, unix
default-language: Haskell2010
|
