Commit Graph

16 Commits

Author SHA1 Message Date
Francesco Gazzetta 970e85a25c Add readme 2022-07-03 18:22:26 +02:00
Francesco Gazzetta 630a29e8c6 Fix function definition 2022-07-03 17:18:37 +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 993319cf62 Use Pretty instances also for partial instructions 2022-07-03 11:06:51 +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 9ee497e31a Add builds.sr.ht CI 2022-07-02 10:43:33 +02:00
Francesco Gazzetta c387a33bdb Add version bounds 2022-07-02 10:42:40 +02:00
Francesco Gazzetta ebd4b2e2b1 Remove Binary Ident instance
Not that useful and we avoid a direct dep
2022-07-01 22:13:59 +02:00
Francesco Gazzetta 7b848c8e33 Cabal description and meta fields 2022-07-01 22:08:02 +02:00
Francesco Gazzetta ad43f84733 Add golden files to extra-source-files 2022-07-01 20:24:06 +02:00
Francesco Gazzetta 91fa85e816 Add some Pretty instances
and golden tests
2022-07-01 20:14:46 +02:00
Francesco Gazzetta 594fcdc173 🌅 2022-07-01 15:21:26 +02:00