issues
search
IreneKnapp
/
modern-data
A self-describing binary data format for dependently-typed object graphs.
MIT License
13
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
type_family removal
#8
IreneKnapp
opened
9 years ago
0
Magic number version field
#7
IreneKnapp
opened
9 years ago
1
Floats and infinities
#6
IreneKnapp
opened
9 years ago
0
At present, the type-manipulation builtins violate parametricity; weird, right?
#5
IreneKnapp
opened
9 years ago
0
Hash function
#4
IreneKnapp
opened
9 years ago
3
Integer endianness
#3
IreneKnapp
opened
9 years ago
6
function_type naming
#2
tinyplasticgreyknight
opened
9 years ago
2
documentation project
#1
tinyplasticgreyknight
closed
9 years ago
2