nfrisby frags issues - Githubissues

nfrisby / frags

Plugin gonna getcha, row types

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

simplify via frag uniformity

#42 nfrisby opened 5 years ago
1
More comments

#41 nfrisby opened 5 years ago
1
type families witnessing injection from Nat into Frag ()

#40 nfrisby opened 5 years ago
0
Document new `FragRep` axia

#39 nfrisby closed 5 years ago
2
Uses of `magicDict`

#38 nfrisby opened 5 years ago
0
Rename type families

#37 nfrisby opened 5 years ago
0
Simplify Eq simplification

#36 nfrisby closed 5 years ago
2
automatic widening/narrowing of `Implic`it type-indexed products

#35 nfrisby opened 5 years ago
1
handlers correct in `examples-motley:exe:motley-eff`?

#34 nfrisby opened 5 years ago
0
better error message in `ill-typed/T7`

#33 nfrisby opened 5 years ago
4
Perform reductions in non-CDictCans

#32 nfrisby opened 5 years ago
1
react and split WDs appropriately

#31 nfrisby opened 5 years ago
1
Better row types

#30 nfrisby opened 5 years ago
0
Another data kind without commutativity, just associativity

#29 nfrisby opened 5 years ago
0
Switch `EqFrag` to a class under 15009 circumstances

#28 nfrisby opened 5 years ago
0
Use-Case: Routes

#27 nfrisby closed 5 years ago
2
Custom Cans for equivalent constraints involving tallies

#26 nfrisby closed 5 years ago
3
Binary operators

#25 nfrisby opened 5 years ago
1
Characterize frag signature

#24 nfrisby opened 5 years ago
0
Use-case: free variables

#23 nfrisby opened 5 years ago
0
Use-case: indexed monads

#22 nfrisby opened 5 years ago
0
Use-case: effects (and transformers?)

#21 nfrisby closed 5 years ago
4
Use-case: command-line arguments

#20 nfrisby opened 5 years ago
0
Chart path to row types

#19 nfrisby closed 5 years ago
3
Upload to Hackage

#18 nfrisby opened 5 years ago
0
Redirect here from Coxswain

#17 nfrisby opened 5 years ago
0
Cleanup & extend `Data.Motley` unit tests

#16 nfrisby opened 5 years ago
0
Cleanup `Data.Frag.Simpl` unit tests

#15 nfrisby opened 5 years ago
0
Axia for `FragRep`

#14 nfrisby closed 5 years ago
1
Synchronize code and documentation

#13 nfrisby opened 5 years ago
0
GHC 16639 workaround

#12 nfrisby opened 5 years ago
0
Accelerate `FragPop_NonDet`

#11 nfrisby opened 5 years ago
0
Add deterministic FragPop

#10 nfrisby opened 5 years ago
0
Flat Prod

#9 nfrisby opened 5 years ago
0
Optimize core

#8 nfrisby opened 5 years ago
0
Cache table for frag minima

#7 nfrisby opened 5 years ago
0
Generate new WIPs from "interactions"?

#6 nfrisby opened 5 years ago
0
How to support frags in kinds

#5 nfrisby opened 5 years ago
0
How to support nested frags

#4 nfrisby opened 5 years ago
0
What should count as progress in `WorkT`?

#3 nfrisby opened 5 years ago
2
Optimize frag coercions

#2 nfrisby opened 5 years ago
0
N-ary frag coercions

#1 nfrisby opened 5 years ago
0