|
|
5e11433c9f
|
bit mask OPE stuff
|
2022-11-15 15:44:49 +01:00 |
|
|
|
42acbfc4ac
|
rename SubView to Sub (Sub to Sub') and port over props
|
2022-11-06 18:35:42 +01:00 |
|
|
|
8582862914
|
remove stdlib duplication
|
2022-11-06 13:03:54 +01:00 |
|
|
|
5c3f2510fe
|
split OPE stuff into modules
|
2022-11-06 12:43:52 +01:00 |
|
|
|
4b64399891
|
bitmask representation of lte
|
2022-11-06 12:43:52 +01:00 |
|
|
|
53bbcbf8c7
|
OPE & scope stuff
|
2022-11-06 12:43:52 +01:00 |
|
|
|
23c008b57a
|
%inline
|
2022-11-06 12:43:52 +01:00 |
|
|
|
e7272333cb
|
remove a believe_me
|
2022-11-06 12:43:52 +01:00 |
|
|
|
e1a9d99514
|
idris 0.6.0 [with temporary flake fork]
|
2022-11-06 12:43:52 +01:00 |
|
|
|
c8187c0801
|
OPE & scope stuff
|
2022-10-10 17:30:46 +02:00 |
|
|
|
8a55cc9581
|
unfold definitions in equality checking, plus cleanup
|
2022-08-23 05:43:23 +02:00 |
|
|
|
44778825c2
|
add Definitions module
|
2022-08-22 10:29:58 +02:00 |
|
|
|
413c454898
|
pretty print E constructor as [brackets]
|
2022-08-22 10:08:18 +02:00 |
|
|
|
6dd18d89bd
|
Uninhabited instances
|
2022-08-22 10:07:46 +02:00 |
|
|
|
77e94a3033
|
oops Shift.drop1 and ssDown were the same
|
2022-08-18 20:39:19 +02:00 |
|
|
|
bc9344c6ba
|
some reduction tests & fixes
|
2022-05-25 16:10:19 +02:00 |
|
|
|
2b756ae1bb
|
tiny tweak
|
2022-05-25 16:03:23 +02:00 |
|
|
|
3cf246b4dc
|
merge Quox.{Syntax.Term.}Reduce
|
2022-05-25 16:00:49 +02:00 |
|
|
|
cde2a9b0d6
|
derive impls where possible
|
2022-05-13 07:18:49 +02:00 |
|
|
|
274ecfb58c
|
normalizeNfc
|
2022-05-12 07:42:33 +02:00 |
|
|
|
c743a99356
|
char class stuff
|
2022-05-10 22:44:11 +02:00 |
|
|
|
123e4b6ab4
|
general categories
|
2022-05-10 06:28:37 +02:00 |
|
|
|
a26eba7d7f
|
parser stuff
|
2022-05-09 18:31:30 +02:00 |
|
|
|
50a2ec02cb
|
parser stuff
|
2022-05-08 20:03:18 +02:00 |
|
|
|
756bc5b9f3
|
fromInteger for universe
|
2022-05-08 20:02:21 +02:00 |
|
|
|
1e7a6cf01f
|
parser stuff
|
2022-05-08 05:41:55 +02:00 |
|
|
|
fcbc92e54c
|
more tokens
|
2022-05-07 22:02:13 +02:00 |
|
|
|
809a0fc859
|
simplify lexical grammar
this is a core language after all
|
2022-05-07 21:26:16 +02:00 |
|
|
|
715a9fe8f9
|
Show for Name and Dim
|
2022-05-07 00:57:23 +02:00 |
|
|
|
804f1e3638
|
remove src directories
|
2022-05-06 22:01:44 +02:00 |
|
|
|
79211cff84
|
start of parser stuff
|
2022-05-06 21:58:32 +02:00 |
|
|
|
1dd4ff0e22
|
lex . and ω (and #)
|
2022-05-06 21:37:00 +02:00 |
|
|
|
49c43ad296
|
heartbreaking: Quox.Error doesn't actually work
|
2022-05-06 21:24:01 +02:00 |
|
|
|
1931f954fb
|
renamings
|
2022-05-04 20:13:56 +02:00 |
|
|
|
f5f2c4399e
|
move lib to subdir
|
2022-05-04 17:44:38 +02:00 |
|
