14 Commits

Author	SHA1	Message	Date
rhiannon morris	00e79d4264	quote names in Show	2023-05-25 18:34:13 +02:00
rhiannon morris	42aa07c9c8	crude but effective stratification	2023-05-21 20:34:05 +02:00
rhiannon morris	d5f4a012c5	add source locations to inner syntax	2023-05-02 03:06:25 +02:00
rhiannon morris	b74ffa0077	rewrite parser ... previously it backtracked too much, so instead of giving a useful parse error, it just said "expected end of input" at the beginning of the problem toplevel. which, if it's a namespace, could be way off.	2023-04-24 22:25:04 +02:00
rhiannon morris	8cf260ee2e	reorder some imports	2023-03-17 21:50:04 +01:00
rhiannon morris	f814b01c5c	quote tags in printer when needed	2023-03-16 18:39:24 +01:00
rhiannon morris	be94422668	move name lexing stuff to Quox.Name	2023-03-16 18:34:49 +01:00
rhiannon morris	c81aabcc14	more parser/FromParser stuff ... - top level semicolons optional - type optional [the def will need to be an elim] - `load` statement - namespaces	2023-03-12 18:28:37 +01:00
rhiannon morris	fc3c2dc8ab	sop → elab-util	2023-03-02 19:52:32 +01:00
rhiannon morris	dbe248be9a	lexer	2023-02-28 20:51:54 +01:00
rhiannon morris	0e481a8098	new representation for scopes	2023-02-22 07:40:19 +01:00
rhiannon morris	cde2a9b0d6	derive impls where possible	2022-05-13 07:18:49 +02:00
rhiannon morris	715a9fe8f9	Show for Name and Dim	2022-05-07 00:57:23 +02:00
rhiannon morris	804f1e3638	remove src directories	2022-05-06 22:01:44 +02:00

Renamed from lib/src/Quox/Name.idr (Browse further)