issues
search
AshleyYakeley
/
Truth
Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use LTS rather than nightly resolver
#190
AshleyYakeley
closed
1 year ago
3
mmap 4096 bytes at (nil): Cannot allocate memory
#189
AshleyYakeley
closed
1 year ago
1
Optional members of record constructors
#188
AshleyYakeley
closed
1 year ago
2
Use commas for fn & matches arguments
#187
AshleyYakeley
closed
1 year ago
1
Build for NixOS
#186
AshleyYakeley
closed
1 year ago
2
Get building on NixOS
#185
AshleyYakeley
closed
1 year ago
1
More general "using" declarations
#184
AshleyYakeley
closed
1 year ago
2
Update Colour functions, when available
#183
AshleyYakeley
opened
1 year ago
0
Monad syntax
#182
AshleyYakeley
closed
11 months ago
3
rename "closedtype" to "datatype storable"
#181
AshleyYakeley
closed
1 year ago
1
Remove "added common subtypes" image etc. types
#180
AshleyYakeley
closed
1 year ago
13
Rename (~>) type constructor
#179
AshleyYakeley
closed
1 year ago
2
allow do-bindings in interactive mode
#178
AshleyYakeley
closed
1 year ago
1
Documentation issues for files
#177
AshleyYakeley
closed
1 year ago
1
Consider different serialisation
#176
AshleyYakeley
closed
1 year ago
5
Allow recursive types in datatypes
#175
AshleyYakeley
closed
1 year ago
1
Interpreter hangs instead of rejecting contravariant recursion
#174
AshleyYakeley
closed
1 year ago
1
Wildcards in type signatures for subsumption
#173
AshleyYakeley
opened
1 year ago
0
Existential types in record constructors
#172
AshleyYakeley
opened
1 year ago
2
Vector-based representation of datatypes
#171
AshleyYakeley
closed
1 year ago
1
Namespaces, separate from modules
#170
AshleyYakeley
closed
1 year ago
5
Allow pattern-matching in let-bindings
#169
AshleyYakeley
closed
1 year ago
3
Interpret JSON format
#168
AshleyYakeley
opened
1 year ago
0
Interpret CSV format
#167
AshleyYakeley
opened
1 year ago
0
Sleep for Duration instead of Integer
#166
AshleyYakeley
closed
1 year ago
1
Rename Ref types to Model
#165
AshleyYakeley
closed
1 year ago
1
Clean up type variables in inferred types
#164
AshleyYakeley
closed
1 year ago
1
STDIO functions
#163
AshleyYakeley
closed
1 year ago
8
Rename :+: and :*: to +: and *:
#162
AshleyYakeley
closed
1 year ago
1
Simplify syntax for pattern-binding
#161
AshleyYakeley
closed
1 year ago
3
Make TextRef <: WholeRef Text
#160
AshleyYakeley
closed
1 year ago
1
Rename product type constructor :*: to *
#159
AshleyYakeley
closed
1 year ago
1
Functions to open and save literals as files
#158
AshleyYakeley
closed
1 year ago
7
MIME storage
#157
AshleyYakeley
closed
2 years ago
3
Image type
#156
AshleyYakeley
closed
1 year ago
1
Make menu bar an ordinary element
#155
AshleyYakeley
closed
1 year ago
1
Show type parameters with variance in documentation
#154
AshleyYakeley
closed
2 years ago
1
Run GTK main loop in separate thread
#153
AshleyYakeley
closed
2 years ago
1
Applicative syntax
#152
AshleyYakeley
closed
11 months ago
6
Asynchronous Tasks
#151
AshleyYakeley
closed
2 years ago
1
Record constructors, similar to ML-style signatures/structures/functors etc.
#150
AshleyYakeley
closed
1 year ago
25
General map and contramap functions
#149
AshleyYakeley
opened
2 years ago
0
Remove Haskell-style "equation" syntax
#148
AshleyYakeley
closed
2 years ago
1
Lens Hierarchy
#147
AshleyYakeley
closed
1 year ago
9
Free arithmetic types
#146
AshleyYakeley
opened
2 years ago
1
Free Semigroup and Monoid types
#145
AshleyYakeley
closed
1 year ago
10
Greatest dynamic supertype not used for all patterns
#144
AshleyYakeley
closed
2 years ago
0
Lambda-case
#143
AshleyYakeley
closed
2 years ago
1
D(T) = Literal for Literal types
#142
AshleyYakeley
closed
2 years ago
1
Rework type signatures
#141
AshleyYakeley
closed
1 year ago
2
Previous
Next