2 commits

Author	SHA1	Message	Date
rhiannon morris	1dd4ff0e22	lex . and ω (and #)	2022-05-06 21:37:00 +02:00
rhiannon morris	f5f2c4399e	move lib to subdir	2022-05-04 17:44:38 +02:00

Renamed from src/Quox/Token.idr (Browse further)