lnsol/log-e-sappho
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
log-e-sappho/example
History
Exact
Ellen Arvidsson c18f56f7be type fixes and bindings + notes on subtyping
2025-06-25 20:31:25 +02:00
..
non-parse type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
subt type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
ex1.msph parsing prefix version (binary operators) of msph 2025-04-22 21:08:03 +03:00
ex2.msph parsing prefix version (binary operators) of msph 2025-04-22 21:08:03 +03:00
ex3.msph parsing prefix version (binary operators) of msph 2025-04-22 21:08:03 +03:00
ex4.msph sphophi decorating with types 2025-05-01 18:16:10 +02:00
ex5.msph added type grammar to readme, add example, del spho loc 2025-05-05 13:05:03 +02:00