Commit graph

Select branches

Hide pull requests

ope

qpoly

𝕎

🎋

🐉

🥚🛁

#12

#19

#25

#28

#29

#30

#35

#36

#39

#40

#42

#43

#44

#47

Mono Color

• 3ab8669404 some refactoring in tests 🐉 rhiannon morris 2024-05-28 18:39:21 +0200
• 2bfe3250cf remove Tighten stuff rhiannon morris 2024-05-28 17:00:01 +0200
• f00c802336 functions returning subsings are also subsings rhiannon morris 2024-06-02 17:35:56 +0200
• 68c414a941 add vec.map rhiannon morris 2024-06-02 17:34:58 +0200
• 7b3ccfc45a comment out a partial definition in list.quox rhiannon morris 2024-06-02 17:34:52 +0200
• 519cc4779a add xtt2 and hofmann's quotient types to bib rhiannon morris 2024-06-02 17:34:08 +0200
• 4c008577b4 wip make qtys into polynomials qpoly rhiannon morris 2024-05-27 21:28:22 +0200
• 1d8a6bb325 add polynomials rhiannon morris 2024-05-27 20:22:32 +0200
• c063107ecc add FromVarR, etc rhiannon morris 2024-05-24 00:23:09 +0200
• 85f20680e6 add constructors to Located/Relocatable interfaces rhiannon morris 2024-05-23 23:28:43 +0200
• 42c2217907 Eq/Ord/Show for No rhiannon morris 2024-05-23 23:27:00 +0200
• 2d75b92d6d telescope stuff rhiannon morris 2024-05-23 23:01:45 +0200
• 722c05225d replace Context.tabulate with tabulateVar rhiannon morris 2024-05-06 19:18:27 +0200
• e880b7165a remove Loc suffix from fromVar and Context.get rhiannon morris 2024-05-05 19:44:27 +0200
• d9a383d8bb remove TVarErr and DVarErr highlights rhiannon morris 2024-05-05 19:42:21 +0200
• 3e23929b5f export infix rhiannon morris 2024-05-05 19:41:06 +0200
• 01e16e20e5 more bib stuff rhiannon morris 2024-05-06 19:21:56 +0200
• 5bf40755b5 beginning of quox stdlib rhiannon morris 2024-05-06 19:24:02 +0200
• 863849e4c4 clean up subsing η stuff rhiannon morris 2024-05-13 01:23:14 +0200
• 8fae67d4d5 check the new test actually fails in the right way rhiannon morris 2024-05-12 20:32:32 +0200
• d276a66abd slightly improve a log message rhiannon morris 2024-05-12 20:30:26 +0200
• b556c2f099 fix some comments rhiannon morris 2024-05-12 20:30:18 +0200
• d2a117fe61 fix function η with subsingleton types rhiannon morris 2024-05-12 20:29:09 +0200
• c9f66bb6af minor refactor rhiannon morris 2024-04-18 11:49:19 +0200
• 7f72ed56fb add test for regularity rhiannon morris 2024-04-15 22:40:58 +0200
• 67c825ab39 add coercion regularity to the equality checker (not to whnf) rhiannon morris 2024-04-15 22:40:20 +0200
• ddc2422ffb fix .gitignore rhiannon morris 2024-04-15 22:27:55 +0200
• 3f7031c613 pack bump rhiannon morris 2024-04-15 20:54:23 +0200
• 8823154973 add golden test stuff rhiannon morris 2024-04-14 20:47:59 +0200
• b7dc5ffdc4 add check for #[main] type rhiannon morris 2024-04-14 16:20:40 +0200
• dd697ba56e add CheckBuiltin rhiannon morris 2024-04-14 15:48:43 +0200
• 32b9fe124f minor tweaks in Q.Typing.Context rhiannon morris 2024-04-14 15:48:10 +0200
• 95a0b38d74 update pretty-printing tests rhiannon morris 2024-04-12 22:00:08 +0200
• 7883a3cae7 pretty printing fixes rhiannon morris 2024-04-12 21:52:51 +0200
• a1d8fd4ab5 %inline rhiannon morris 2024-04-12 21:52:36 +0200
• 9d60f366cf add #![log] pragma rhiannon morris 2024-04-12 21:49:15 +0200
• f56f594839 push multiple loglevel changes at once rhiannon morris 2024-04-11 22:09:49 +0200
• fca75377a0 MakeName ⇒ MkName for consistency rhiannon morris 2024-04-11 22:08:07 +0200
• 11b0ab6a25 remove default from FromParser.fromParserPure and Main.step rhiannon morris 2024-04-07 03:20:39 +0200
• 7a0bc73d25 approximate log stack in handleLogDiscard rhiannon morris 2024-04-06 20:03:51 +0200
• 567176e076 log refactors rhiannon morris 2024-04-05 01:57:18 +0200
• 3b6ae36e4e add logging to core rhiannon morris 2024-04-04 19:23:08 +0200
• 861bd55f94 add log effects to FromParser rhiannon morris 2024-04-04 18:23:50 +0200
• e6ad16813e add log effects to executable rhiannon morris 2024-04-04 18:13:45 +0200
• 78555711ce add Q.Log rhiannon morris 2024-04-04 18:11:26 +0200
• ec839a1d48 big Main refactor rhiannon morris 2024-04-04 18:10:53 +0200
• 727f968afb add delimited continuations to bib rhiannon morris 2024-04-04 19:26:30 +0200
• 41c8a92c97 bib fixes rhiannon morris 2024-04-04 19:26:13 +0200
• efddb1aea1 skip broken pretty-printing tests till i fix them rhiannon morris 2024-03-27 18:21:45 +0100
• 8cba73f741 bump pack collection rhiannon morris 2024-03-27 18:21:26 +0100
• 582666a254 comments in infer for coercions rhiannon morris 2024-03-21 21:29:13 +0100
• a9e8f14ad5 fix a small bug in Q.Whnf.Coercion rhiannon morris 2024-03-21 21:29:01 +0100
• a8ac6f11f7 fix a quantity in CaseBox rhiannon morris 2024-02-28 16:49:15 +0100
• b67162bda1 fix the other similar loops rhiannon morris 2024-02-24 16:04:38 +0100
• 24ae5b85a2 fix a broken test???? rhiannon morris 2024-02-24 15:45:04 +0100
• 325e128063 add η for False and True rhiannon morris 2024-02-10 11:39:07 +0100
• 642ac25a71 happy new year [pack update. also idris 0.7.0] rhiannon morris 2024-01-04 13:11:13 +0100
• 05a688d49e reject "" in NatExtra.fromHex rhiannon morris 2023-11-30 14:47:27 +0100
• 1c8c50f3e2 remove some unneeded Ord impls rhiannon morris 2023-11-30 14:46:45 +0100
• f337625801 remove most noLocs rhiannon morris 2023-11-27 21:01:36 +0100
• 1f01cec322 refactor Main a whole lot rhiannon morris 2023-11-27 07:39:17 +0100
• 103f019dbd move NDefinition to Quox.Definition and add an untyped one rhiannon morris 2023-11-27 07:37:38 +0100
• 2cafb35bc1 fix some comments rhiannon morris 2023-11-27 06:43:48 +0100
• 47069a9316 fill a stray hole rhiannon morris 2023-11-24 17:23:45 +0100
• fb14b756c7 add algebraic ornaments to bib rhiannon morris 2023-11-24 17:23:06 +0100
• 81783dbae0 fix typechecker loop when coercing boxes rhiannon morris 2024-02-10 10:07:06 +0100
• a14c4ca1cb never inline let bindings from the original source rhiannon morris 2023-12-21 18:04:12 +0100
• b7074720ad pretty printing fixes rhiannon morris 2023-12-21 18:03:57 +0100
• 48a050491c fix several quantity issues rhiannon morris 2023-12-21 18:01:17 +0100
• aa4ead592a allow "let x : A = e in s" with type annotation rhiannon morris 2023-12-21 17:54:31 +0100
• 54db7e27ef make #[fail] run in the current namespace rhiannon morris 2023-12-21 17:53:46 +0100
• 7afcbfe258 recognise nats other than 0 in eq checker rhiannon morris 2023-12-21 17:48:12 +0100
• 0fdd4741be print quantity on let rhiannon morris 2023-12-07 01:37:08 +0100
• 03c197bd04 add local bindings to context rhiannon morris 2023-12-07 01:35:39 +0100
• cdf1ec6deb fix a comment rhiannon morris 2023-12-04 23:38:17 +0100
• 08a8c694b1 a usage in hello.quox. why not rhiannon morris 2023-12-04 23:36:30 +0100
• 8b8129027d update syntax.ebnf rhiannon morris 2023-12-04 23:35:54 +0100
• e48f03a61c multiple semi-sep binds in a let rhiannon morris 2023-12-04 23:27:59 +0100
• 415a823dec comment out an unfinished definition lmao rhiannon morris 2023-12-04 22:49:32 +0100
• b1699ce022 add let to the core rhiannon morris 2023-12-04 22:47:52 +0100
• 68d8019f00 add let to frontend syntax rhiannon morris 2023-12-04 18:48:25 +0100
• 59e7a457a6 let case be the head of an application too rhiannon morris 2023-12-04 18:28:57 +0100
• 4291afd51b allow fst/snd to take multiple arguments rhiannon morris 2023-12-04 18:21:27 +0100
• e2ad18ff1f hello.quox tweaks rhiannon morris 2023-11-16 18:33:03 +0100
• 310822ffa5 remove old replaced stuff rhiannon morris 2023-11-16 18:32:38 +0100
• d115672d49 example stuff rhiannon morris 2023-11-10 15:07:19 +0100
• cc78ccd940 fix some parenthesisation rhiannon morris 2023-11-06 22:11:11 +0100
• 50984aa1aa refactor #[attribute] stuff rhiannon morris 2023-11-05 20:49:02 +0100
• 246d80eea2 add io.quox rhiannon morris 2023-11-05 15:48:01 +0100
• c48b7be559 add html output highlighting rhiannon morris 2023-11-05 15:47:52 +0100
• 040a1862c3 refactor scheme prelude rhiannon morris 2023-11-05 15:45:33 +0100
• bf8cced888 swap some delim/syntax highlighting around rhiannon morris 2023-11-05 15:45:07 +0100
• 04af7ae942 highlight the @ in dim apps as a delim rhiannon morris 2023-11-05 15:44:44 +0100
• d9cdf1306d fix IsReserved rhiannon morris 2023-11-05 15:43:17 +0100
• 6c8ebfb804 fix some comments rhiannon morris 2023-11-05 15:41:21 +0100
• da3cd404f3 handle when getTermCols returns 0 rhiannon morris 2023-11-05 15:40:19 +0100
• f58fa5218f subscript numbers are no longer special rhiannon morris 2023-11-05 15:39:52 +0100
• 580fbc8fd8 add misc.refl, misc.sing, nat.minus rhiannon morris 2023-11-05 15:38:38 +0100
• e211887a34 string/nat lit stuff rhiannon morris 2023-11-05 15:38:13 +0100
• 3b9a339e5e rename "Tag" highlight to "Constant" rhiannon morris 2023-11-05 14:30:40 +0100