Commit graph

Select branches

Hide pull requests

main

products

Mono Color

• 781dba167a
  forgot readme main William Ball 2025-09-12 10:04:20 -0400
• de8ffcb716
  minor formatting and README tweaks William Ball 2025-09-12 10:03:44 -0400
• 0317a71f1c
  update base William Ball 2025-08-13 22:41:07 -0700
• 82b2077d4a
  
  working on adding full sigma types products William Ball 2025-01-26 13:30:16 -0800
• 5994096bb1
  
  Reverted back to commit 2c1f193d77 William Ball 2025-01-25 10:39:50 -0800
• 6b965fda1d
  
  Revert "starting progress on (non-dependent) products" William Ball 2025-01-25 10:33:41 -0800
• 1544a33644
  
  working on parser William Ball 2025-01-24 14:59:06 -0800
• 2c1f193d77
  
  starting progress on (non-dependent) products William Ball 2025-01-24 00:57:13 -0800
• 52ce107a04
  
  cleaned up algebra, getting ready for more updates William Ball 2025-01-12 21:03:06 -0800
• dc2a715531 some algebra William Ball 2025-01-05 11:15:41 -0800
• 08ef684418 added changing section variables via '#', reworked algebra.pg to use duality William Ball 2024-12-22 13:16:32 -0800
• dbf4b88738 some algebra William Ball 2024-12-13 22:45:37 -0800
• cf26b7c9ec trying out new lightweight Automathy function syntax William Ball 2024-12-11 14:12:56 -0800
• 1ed998c025 fixed minor bug in dedupNames William Ball 2024-12-11 13:26:05 -0800
• e6f9d71c57 basic haskell operator syntax William Ball 2024-12-10 23:36:34 -0800
• 534809bef9 cleaned up peano.pg a bit William Ball 2024-12-10 20:46:29 -0800
• f9e0ec40bd infix operators! William Ball 2024-12-10 20:31:53 -0800
• 7dce99e1f8 some category theory William Ball 2024-12-09 22:10:51 -0800
• a3cd366379 updated README William Ball 2024-12-08 22:00:35 -0800
• d15b53da1e minor cleanup William Ball 2024-12-08 21:57:17 -0800
• 95a4d822b6 drastically sped up parser William Ball 2024-12-08 21:42:13 -0800
• 6f34793ba2 proved initial objects unique William Ball 2024-12-08 20:17:34 -0800
• fbfd8891bb solved #16 William Ball 2024-12-08 19:37:56 -0800
• 78cfd611b6 shoes and socks William Ball 2024-12-08 17:40:37 -0800
• 950e132fcf fixed some sneaky bugs William Ball 2024-12-08 16:11:21 -0800
• 8bc8e5e171 better prettyprinting William Ball 2024-12-08 12:40:52 -0800
• 7f9d029ff9 optimized peano.pg a bit William Ball 2024-12-06 21:23:35 -0800
• 832af2271f right inverse unique William Ball 2024-12-06 16:30:44 -0800
• 310c144b76 refactoring of algebra.pg, also fixed minor bug William Ball 2024-12-06 15:59:22 -0800
• da0fff8070 switched back to markdown, since not using TODOs anymore William Ball 2024-12-06 15:36:58 -0800
• a72fef7979 updated readme William Ball 2024-12-06 13:48:55 -0800
• 23f1432817 SECTIONS WORKING!!! William Ball 2024-12-06 13:36:14 -0800
• 640354bb45 elabProgram done (for now at least) William Ball 2024-12-06 00:40:24 -0800
• 254f5ff273 got rid of extra keywords William Ball 2024-12-05 20:11:38 -0800
• e122a44a91 asdf William Ball 2024-12-05 11:19:23 -0800
• 83eff3d45a parsing! William Ball 2024-12-04 17:46:50 -0800
• a3d72583b4 updated examples in README to latest syntax William Ball 2024-12-05 19:49:34 -0800
• 72e695a381 moved TODOs to forgejo issues William Ball 2024-12-05 19:48:34 -0800
• 7e3a347485 applied fix to other ascriptions William Ball 2024-12-05 19:05:34 -0800
• c0e0c37689 more peano, fixed bug in checking ascriptions of definitions William Ball 2024-12-05 18:56:41 -0800
• 84e44b0e33 made universe hierarchy predicative except for lowest William Ball 2024-12-02 20:39:56 -0800
• 5eb68fe360 more optional ascriptions (surprisingly large change) William Ball 2024-12-01 21:43:15 -0800
• 959f425afa updated README with changes William Ball 2024-12-01 18:16:45 -0800
• 05ae14b5e7 made repl preserve environment William Ball 2024-12-01 18:06:03 -0800
• 0a57180cb1 updated examples to new syntax William Ball 2024-12-01 15:29:05 -0800
• 9f5c308131 IR success! William Ball 2024-12-01 15:28:57 -0800
• cdafab0d94 compiles, getting stuck somewhere though William Ball 2024-11-30 23:43:17 -0800
• 8adfd9f8ba elaborator v1 William Ball 2024-11-30 22:36:27 -0800
• 6ab03dd6c6 more parser goodness William Ball 2024-11-30 21:05:07 -0800
• b236bb1753 parser just about taken care of William Ball 2024-11-30 20:34:09 -0800
• 57bffe00b5 updated readme William Ball 2024-11-30 19:00:35 -0800
• 9e54c14c65 fixed .cabal expecting README.md William Ball 2024-11-30 00:10:51 -0800
• 0c004688c7 made preprocessor not reinclude files multiple times William Ball 2024-11-29 20:39:42 -0800
• f8a684a173 updated README a bit to talk more about (im)predicativity, abandoned markdown William Ball 2024-11-29 18:19:12 -0800
• 58168e461d clear binders after each definition (!!!) William Ball 2024-11-28 14:32:30 -0800
• 9afa90d3af added universes; documentation and examples forthcoming William Ball 2024-11-28 13:39:23 -0800
• 652467f02c fixed but in let impl, work on proving recursion William Ball 2024-11-28 10:48:11 -0800
• e0b357450c support directly binding functions in let William Ball 2024-11-23 10:35:58 -0800
• 780ab52809 added let expressions William Ball 2024-11-23 09:16:32 -0800
• 5234f43194 port to relude + a lot of cleanup William Ball 2024-11-22 19:44:31 -0800
• 02c298b1a9 removed rather vestigal tests William Ball 2024-11-22 12:15:27 -0800
• 91157dd2aa updates to examples William Ball 2024-11-22 11:52:30 -0800
• 75ab0a1a41 improved beta-equivalence, added preprocessor William Ball 2024-11-22 10:36:51 -0800
• 7b037db6c0 proved commutativity William Ball 2024-11-20 23:32:28 -0800
• ffc78ca1ff treesitter doesn't like block comments William Ball 2024-11-20 22:21:43 -0800
• e05c8e8a92 very minor cleanups William Ball 2024-11-20 13:22:06 -0800
• 47dc90d872 simplified syntax and updated README William Ball 2024-11-20 12:44:21 -0800
• c9e8d3fe1f gave up on proving recursion, proved associativity of addition William Ball 2024-11-20 12:24:03 -0800
• f915663f94 changed comment syntax to avoid clashing with the very common *) sequence William Ball 2024-11-20 12:23:41 -0800
• 0012f4e974 reworked and added many more examples William Ball 2024-11-20 07:37:57 -0800
• 604e0c16fb added axioms William Ball 2024-11-20 07:37:49 -0800
• 04497c407a added more examples to README William Ball 2024-11-19 12:56:06 -0800
• 0e000ccac6 fixed beta equivalence check William Ball 2024-11-18 14:33:21 -0800
• 8c5311a2f6 HUGE update William Ball 2024-11-17 18:33:14 -0800
• c1ccd50644 basics of definitions!!!! William Ball 2024-11-17 01:57:53 -0800
• f5e79c3225 improved beta-equivalence William Ball 2024-11-16 23:40:59 -0800
• cde850a33a improved usage William Ball 2024-11-15 18:39:44 -0800
• f1d5fc7574 updated TODOs William Ball 2024-11-14 22:02:25 -0800
• 51d97b15f5 updated TODOs William Ball 2024-11-14 22:02:25 -0800
• 9ef9a8b6ba converted to Text William Ball 2024-11-14 22:02:04 -0800
• c73566d67f many more tests William Ball 2024-11-14 22:01:53 -0800
• 3715773adc more tests and minor cleanup William Ball 2024-11-14 19:56:33 -0800
• f9e70ca131 reorganized and started working on unit tests William Ball 2024-11-12 11:32:05 -0800
• aa05f3025e updated README William Ball 2024-11-12 09:19:48 -0800
• 9e390c0ab6 testing to see if forgejo will render the LaTeX in markdown William Ball 2024-11-12 01:23:32 -0800
• 05ab942400 added README William Ball 2024-11-12 01:03:05 -0800
• 84d00a1fb8 improved error messages William Ball 2024-11-12 00:00:51 -0800
• 8de133095d renamed project William Ball 2024-11-11 23:39:29 -0800
• 80fb0e8760 findType passing every test I've thrown at it! William Ball 2024-11-11 23:38:10 -0800
• 39cab7fd3d fixed a sneaky parser bug William Ball 2024-11-11 20:08:21 -0800
• 5ce06d1012 starting type checking again William Ball 2024-11-11 17:57:14 -0800
• 96634d08ee parser/pretty printer are getting good William Ball 2024-11-11 16:38:46 -0800
• e9e388ba05 greatly improved pretty printer William Ball 2024-11-11 14:34:55 -0800
• acb3fe9d6c record identifier names for better printing William Ball 2024-11-11 14:10:27 -0800
• 7426594134 minor refactoring William Ball 2024-11-11 13:52:50 -0800
• 94709f5320 made pretty printer use -> if possible William Ball 2024-11-11 13:43:28 -0800
• 832bb7305f working on type checking William Ball 2024-11-11 13:37:44 -0800
• 1330966180 pretty printing William Ball 2024-10-06 14:02:35 -0700
• d5a34360bb added state to parser William Ball 2024-10-05 16:04:13 -0700
• 58e069b027 basics William Ball 2024-10-05 13:36:05 -0700