Francesco Gazzetta
|
970e85a25c
|
Add readme
|
2022-07-03 18:22:26 +02:00 |
|
Francesco Gazzetta
|
1405020497
|
Add Program
|
2022-07-03 17:13:00 +02:00 |
|
Francesco Gazzetta
|
f41ddeca97
|
Pretty instance for Instr
|
2022-07-03 16:50:18 +02:00 |
|
Francesco Gazzetta
|
e6f660011e
|
Assignment type
|
2022-07-03 11:01:40 +02:00 |
|
Francesco Gazzetta
|
8e85d1b000
|
Pretty function, call, phi
|
2022-07-03 10:25:48 +02:00 |
|
Francesco Gazzetta
|
24e3d4ad06
|
Pretty instances for data definitions
|
2022-07-02 12:05:42 +02:00 |
|
Francesco Gazzetta
|
8f9652e28e
|
Remove redundant Ident
|
2022-07-02 11:51:07 +02:00 |
|
Francesco Gazzetta
|
91fa85e816
|
Add some Pretty instances
and golden tests
|
2022-07-01 20:14:46 +02:00 |
|