Commit graph

Select branches

Hide pull requests

main

Mono Color

• f30456c249 updated queries after removing variable_binding main William Ball 2024-12-21 04:59:45 -0800
• 4d3b1fdcc7 minor changes to highlights William Ball 2024-12-14 11:10:17 -0800
• e5d8affe5e switch back to actual repo William Ball 2024-12-11 23:28:50 -0800
• 0e1b742040 support experimental lightweight function syntax William Ball 2024-12-11 18:21:59 -0800
• 113cca2caa operator sections William Ball 2024-12-10 23:40:08 -0800
• 70792b9f13 infix operators William Ball 2024-12-10 21:41:55 -0800
• b53ddc01fd oops, fixed highlighting on axioms William Ball 2024-12-01 20:55:49 -0800
• 36f6058413 updates William Ball 2024-12-01 20:52:42 -0800
• 2645b608e8 updated to support let William Ball 2024-11-23 10:43:03 -0800
• 52fa5a5f5e added support for preprocessor William Ball 2024-11-22 10:38:20 -0800
• a532a2e1dd folds + very basic indentation William Ball 2024-11-21 13:39:29 -0800
• 74f857ee4f whoops William Ball 2024-11-20 23:40:22 -0800
• 9b06b0bb9b forgot 'axiom' as a keyword William Ball 2024-11-20 23:39:17 -0800
• 85f88dcfd2 added readme William Ball 2024-11-20 22:30:27 -0800
• 70c857417a added commentstring William Ball 2024-11-20 22:25:58 -0800
• 52858bbcc7 basically working William Ball 2024-11-20 22:22:44 -0800
• b3574a790c idk if it cares about git William Ball 2024-11-20 22:03:54 -0800
• a2f972c52c better William Ball 2024-11-20 22:01:02 -0800
• 2fb5e97e4f will this work? William Ball 2024-11-20 21:11:03 -0800
• 47ed3ffe25 ?? William Ball 2024-11-20 20:17:57 -0800
• 1d2036ea85 whee William Ball 2024-11-20 20:01:53 -0800