|
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 |
|