|
|
9db2cb800d
|
cleaning up examples
|
2025-06-28 00:25:37 +02:00 |
|
|
|
c18f56f7be
|
type fixes and bindings + notes on subtyping
|
2025-06-25 20:31:25 +02:00 |
|
|
|
7e3c7c88ea
|
added type grammar to readme, add example, del spho loc
|
2025-05-05 13:05:03 +02:00 |
|
|
|
a22c9726cd
|
sphophi decorating with types
|
2025-05-01 18:16:10 +02:00 |
|
|
|
17be15d7b5
|
parsing prefix version (binary operators) of msph
|
2025-04-22 21:08:03 +03:00 |
|
