Pantograph

#85 by aniva was merged 2024-08-15 22:41:59 -07:00

dev

serial/expr

0.3

fix: Serialization of projection operators

#64 by aniva was merged 2024-04-09 21:28:53 -07:00

dev

serial/projection

0.3

perf: Lazy run print monads

optimization

#63 by aniva was merged 2024-04-08 10:37:28 -07:00

dev

serial/expr

0.3

feat: Instantiate mvars during echo

#56 by aniva was merged 2024-03-31 17:10:29 -07:00

dev

expr/echo

fix: Instantiation causes infinite loop

#54 by aniva was merged 2024-03-31 16:43:53 -07:00

dev

output/expr

feat: Instantiation tests

#52 by aniva was merged 2024-03-30 00:08:33 -07:00

dev

io/serial

feat: Remove display of implementation details

1

#50 by aniva was merged 2024-03-28 22:35:38 -07:00

dev

io/serial

test: Option controlled mvar instantiation

priority

low

#44 by aniva was merged 2024-01-17 22:27:44 -08:00

dev

goal/diag

test: Deserialization

#42 by aniva was merged 2024-01-08 12:21:45 -08:00

dev

io/serial

0.2.10

fix: Printing projection leads to crash

bug

#37 by aniva was merged 2023-12-07 12:33:02 -08:00

dev

io/sexp

0.2.10

feat: Handling of private names

#36 by aniva was merged 2023-12-05 20:22:38 -08:00

dev

library/catalog

feat: Print structural projection as application

#35 by aniva was merged 2023-12-05 20:20:52 -08:00

dev

io/serial

0.2.10

feat: Minor updates to serialization

#26 by aniva was merged 2023-10-30 14:47:42 -07:00

dev

io/serial

feat: Simplify printing of names and expressions

#25 by aniva was merged 2023-10-29 13:08:06 -07:00

dev

io/serial

0.2.7

Fix inconsistent sort level printing

bug

#12 by aniva was merged 2023-08-28 17:29:28 -07:00

dev

io/serial

0.2.4

Add more serialisation options