issues
search
mlabs-haskell
/
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Codegen tasks
#46
bladyjoker
closed
7 months ago
1
Catalyst milestone 2: End to end proof of concept
#45
bladyjoker
closed
1 year ago
1
Compiler/typeclass utils
#44
gnumonik
closed
1 year ago
0
compiler/typeclass-solver
#43
gnumonik
closed
1 year ago
0
TODO(@gnumonik): This will need to use API types, to perform the detection and report back (TyClassDef, [ClassRef]).
#42
gnumonik
closed
1 year ago
1
Expose the ClassCycleError in the API and report it.
#41
gnumonik
closed
1 year ago
1
`supers` should be `ClassConstraint` as they seem fundamentally a different concept.
#40
gnumonik
closed
1 year ago
1
Compiler: multiple declaration error
#39
cstml
closed
1 year ago
0
Compiler proto small vocabulary fixes.
#38
bladyjoker
closed
1 year ago
1
Consolidating Unification with fd-unification
#37
bladyjoker
closed
7 months ago
3
Compiler/typeclasses infrastructure
#36
gnumonik
closed
1 year ago
1
Frontend: Integration with the Compiler
#35
bladyjoker
closed
1 year ago
0
Compiler: Arbitrary Instances + Property Test
#34
cstml
closed
1 year ago
0
Compiler/typeclass checks
#33
gnumonik
closed
1 year ago
1
Kind Checker: CLI Integration
#32
cstml
closed
1 year ago
0
Compiler: Class Kind Check
#31
cstml
closed
1 year ago
1
Compiler: Prolog model
#30
bladyjoker
closed
1 year ago
0
Compiler: TypeClass checks
#29
bladyjoker
closed
1 year ago
0
superclass cycles merge
#28
bladyjoker
closed
1 year ago
0
Compiler/superclass cycles
#27
gnumonik
closed
1 year ago
2
KC: Integrate Common Validated Proto Types
#26
cstml
closed
1 year ago
0
Typeclasses & Codegen
#25
gnumonik
closed
1 year ago
1
Cleaned up .proto, updated ProtoCompat
#24
gnumonik
closed
1 year ago
0
Create Common Proto Types conversion
#23
cstml
closed
1 year ago
0
wip: add description of features
#22
cstml
closed
1 year ago
0
More documentation tweaks
#21
gnumonik
closed
1 year ago
0
Doc Tweaks
#20
gnumonik
closed
1 year ago
0
update: added Kind Checker implementation details
#19
cstml
closed
1 year ago
0
Comparisons Documentation
#18
cstml
closed
1 year ago
0
Catalyst Milestone 1 Work PR
#17
bladyjoker
closed
1 year ago
0
Catalyst Deliverables: Milestone 1
#16
cstml
closed
1 year ago
1
Frontend: Will the module export all the definitions always?
#15
bladyjoker
closed
1 year ago
1
LambdaBuffers Licensing
#14
bladyjoker
closed
1 year ago
0
Update Compiler documentation
#13
cstml
closed
1 year ago
0
Kind Checker - Update 1
#12
cstml
closed
1 year ago
1
Frontend
#11
bladyjoker
closed
1 year ago
0
Kind checker - initial proposal
#10
cstml
closed
1 year ago
1
Kind checking a-la Vlad using unification-fd library
#9
bladyjoker
closed
1 year ago
0
CodeGen, Type Class Deriving, Proto Compatibility Types (+ TH "frontend")
#8
gnumonik
closed
1 year ago
2
Kind checker - POC
#7
cstml
closed
1 year ago
2
Scaffold the Google Protobuf bits
#6
bladyjoker
closed
1 year ago
3
Typeclass Constraint Solver
#5
gnumonik
closed
1 year ago
0
Docs PR
#4
gnumonik
closed
1 year ago
0
Experimental directory and Prolog checker
#3
bladyjoker
closed
1 year ago
0
Catalyst milestone 1: Research
#2
bladyjoker
closed
1 year ago
0
Introducing repository scaffold
#1
bladyjoker
closed
1 year ago
0
Previous