Commit graph

23 commits

Author SHA1 Message Date
f3618f1648 lol 2025-06-27 15:08:13 +02:00
429b59b2b3 progress 2025-06-25 2025-06-25 22:02:54 +02:00
9669d4bba5 cleaning 2025-06-25 21:18:33 +02:00
2d0661a8cd https url 2025-06-25 20:40:22 +02:00
78e026a3aa Merge pull request 'type fixes and bindings + notes on subtyping' (#1) from subt-resurrection into main
Reviewed-on: #1
2025-06-25 18:37:30 +00: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
7e5f080282 final directives parsing 2025-04-20 11:24:43 +03:00
9ac779c1cf prefix notation type parser 2025-04-19 20:35:42 +03:00
9b24c8a496 proper c flags 2025-04-15 23:50:14 +02:00
b9266cdf96 lexing up and running 2025-04-15 20:02:25 +02:00
10e16147ba tokinizing 2025-04-15 13:50:23 +02:00
dd099f3382 added note about ambiguity 2025-04-14 17:42:48 +02:00
20e3757f44 broken code, but added attempt at writing grammar 2025-04-14 17:40:22 +02:00
fb95e5d026 first run of context 2025-04-11 23:43:51 +02:00
80ee17692a queueing done 2025-04-11 23:37:06 +02:00
Ellen Arvidsson
7a245f05cb queuing 2025-04-11 23:22:19 +02:00
8dd2fe0e34 queue problems 2025-04-11 23:16:29 +02:00
2ac5491b44 started writing c implementation of sappho 2025-04-09 18:42:43 +02:00
549443c670 cmake build directory 2025-04-09 18:41:01 +02:00
03180b692f
Initial commit 2025-04-09 14:21:40 +02:00