Achim D. Brucker
|
1a88f7c6c3
|
Added inline Changelot to each theory file.
|
2019-01-21 17:10:30 +00:00 |
Achim D. Brucker
|
64055200c6
|
First serializer implementation.
|
2019-01-21 15:54:49 +00:00 |
Achim D. Brucker
|
41634c70ac
|
Added parser and overall cleanup.
|
2019-01-21 09:49:22 +00:00 |
Achim D. Brucker
|
338dcc874a
|
Added serializer implementation.
|
2019-01-20 20:19:41 +00:00 |
Achim D. Brucker
|
1be7bfd514
|
Defined HOL and ML data types for Nano JSON and implemented conversion between them.
|
2019-01-20 19:57:44 +00:00 |
Achim D. Brucker
|
c9a174bdbc
|
Initial commit.
|
2019-01-19 08:23:18 +00:00 |