Commit graph

Select branches

Hide pull requests

main

Mono Color

• 8771285fb4
  slight tweak to grammar to allow \star in addition to \bigstar main William Ball 2025-09-13 09:11:13 -0400
• b646790fdb slightly simplified grammar William Ball 2024-12-14 11:10:59 -0800
• 63f0f27240 support experimental lightweight function syntax William Ball 2024-12-11 18:21:16 -0800
• 483fa6ec49 operator sections William Ball 2024-12-10 23:39:53 -0800
• 4131069cd4 infix operators William Ball 2024-12-10 21:40:39 -0800
• 3834eb6f0a sections William Ball 2024-12-06 15:25:45 -0800
• bed94f3d41 impredicative/predicative split William Ball 2024-12-02 20:40:38 -0800
• 973acd4151 new type hierarchy William Ball 2024-12-01 23:36:32 -0800
• c3fbf3368f accommodated new ascriptions William Ball 2024-12-01 21:38:43 -0800
• 6de6e3d801 new syntax, also block comments are totally broken William Ball 2024-12-01 20:53:58 -0800
• 6e1878db5d support functions in let William Ball 2024-11-23 10:39:33 -0800
• 356b6600f2 added let expressions William Ball 2024-11-23 10:06:53 -0800
• 158683891c added support for preprocessor William Ball 2024-11-22 10:37:30 -0800
• ece43957c9 added block comments William Ball 2024-11-21 13:14:46 -0800
• e5e219e0e9 basically working William Ball 2024-11-20 22:22:24 -0800
• 3db7a588ad getting closer? William Ball 2024-11-20 21:46:51 -0800
• ec8579d599 I have no idea what I'm doing William Ball 2024-11-20 20:17:33 -0800
• 9c780880fa trying to figure this out William Ball 2024-11-20 19:38:35 -0800
• e231915070 oops William Ball 2024-11-20 19:37:16 -0800
• f0a31d7af9 working? William Ball 2024-11-20 19:29:09 -0800