Commit graph

31 commits

Author SHA1 Message Date
82241b237c oops 2025-06-28 01:40:36 +02:00
f621081064 comment about tab width 2025-06-28 01:22:32 +02:00
37c1f93902 updated with some code style and build instructions 2025-06-28 01:08:29 +02:00
9db2cb800d cleaning up examples 2025-06-28 00:25:37 +02:00
333534a8d1 fixing parsing 2025-06-28 00:20:45 +02:00
0aa49cfe9b progress 2025-06-27 2025-06-27 15:09:08 +02:00
ad1d5776f8 fix typdef param shit 2025-06-27 04:23:50 +02:00
33f38c03d6 infix parsing and prebind fixes 2025-06-27 02:49:14 +02:00
65066c493e typo 2025-06-27 02:45:56 +02:00
bc9d138960 added cmake presets 2025-06-26 01:28:04 +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