issues
search
cspr-rad
/
actus-spec
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Spec must specify handling of more granular time than days
#10
Avi-D-coder
opened
1 year ago
0
Rewrite end of month / same day conventions
#9
asladeofgreen
opened
1 year ago
1
Composite Contracts
#8
asladeofgreen
opened
1 year ago
0
Formal Verification
#7
asladeofgreen
opened
1 year ago
0
Commit to joining weekly ACTUS WG calls
#6
asladeofgreen
opened
1 year ago
0
Testing framework
#5
asladeofgreen
opened
1 year ago
0
Technical specification authored in typst
#4
asladeofgreen
opened
1 year ago
0
Serialization strictness is non-negotiable
#3
asladeofgreen
opened
1 year ago
1
Haskell Implementation Contributor
#2
asladeofgreen
opened
1 year ago
0
Serialisation Formats
#1
asladeofgreen
opened
1 year ago
0