HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-14 22:50:28 +03:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 0c34404c0b use-declarations with shadowing Victor Taelin 2024-03-12 18:01:12 -0300
  • dc993b5de0 pattern-match syntax Victor Taelin 2024-03-12 13:44:49 -0300
  • 24b83350c6 ADT syntax continuation Victor Taelin 2024-03-12 11:55:09 -0300
  • 29de8994d2 progress on ADT parsing Victor Taelin 2024-03-11 22:45:46 -0300
  • 76320ddb7f initial ADT formatter Victor Taelin 2024-03-09 19:16:24 -0300
  • dc5997bde8 list/nat syntax sugars, reorganizations Victor Taelin 2024-03-09 17:59:39 -0300
  • d617aeac49 cleanup Victor Taelin 2024-03-08 19:10:37 -0300
  • 85ad65b026 use-notation Victor Taelin 2024-03-08 17:39:37 -0300
  • 97015e9390 missing files? Victor Taelin 2024-03-07 18:08:04 -0300
  • 6b4812950a fix file id and error reporting LunaAmora 2024-03-05 11:20:24 -0300
  • f9a5bdb963 mixed checking order for better unification Victor Taelin 2024-03-06 22:29:33 -0300
  • edbaf3048d simplified unification algorithm Victor Taelin 2024-03-06 20:01:32 -0300
  • c8bf072145 working hs Victor Taelin 2024-03-06 11:35:17 -0300
  • b2eb7610f4 fix type error, re-add qbool matchers Victor Taelin 2024-03-01 23:31:05 -0300
  • 3baa0e392e revert kind2.hvm1 Victor Taelin 2024-03-01 23:18:30 -0300
  • c3882799b3 initial haskell port, for type-checking Victor Taelin 2024-03-01 23:11:05 -0300
  • e849d16aee auto formatter Victor Taelin 2024-03-01 20:40:31 -0300
  • 21dd404798 reorganize repo, split files Victor Taelin 2024-03-01 14:28:42 -0300
  • 10da6d2afb fix obliterate Victor Taelin 2024-03-01 12:21:43 -0300
  • 9ef466ee48 remove check.hvm1 Victor Taelin 2024-03-01 12:21:26 -0300
  • 36e53b7800 fix error Victor Taelin 2024-03-01 12:21:11 -0300
  • 37f9c47e98 improve errors Victor Taelin 2024-03-01 12:13:31 -0300
  • fdbc3d013c move pretty-printing to rust-side; hvm1 just outputs serialized messages Victor Taelin 2024-03-01 11:57:40 -0300
  • a0d2eecf24 hole syntax just underscore Victor Taelin 2024-02-29 21:48:42 -0300
  • 2cd7b5261a printing polishments, checkpoint Victor Taelin 2024-02-29 19:04:40 -0300
  • 86651018e5 improvements Victor Taelin 2024-02-29 18:45:40 -0300
  • b4a49abab7 separate metas for unification and holes for inspection; bugfixes Victor Taelin 2024-02-29 17:30:20 -0300
  • d9054070f5 Update for hvm2 Nicolas Abril 2024-02-29 18:44:11 +0100
  • 03ba63a233 initial bidirectional unifier Victor Taelin 2024-02-29 14:00:34 -0300
  • 5f12049dec Revert "wip" Victor Taelin 2024-02-26 23:10:29 -0300
  • 51b65d581f Revert "fixes" Victor Taelin 2024-02-26 23:10:25 -0300
  • 0ea8ff35c4 fixes Victor Taelin 2024-02-26 23:09:34 -0300
  • 4fd07958bc wip Victor Taelin 2024-02-26 21:57:05 -0300
  • 9a6ffc9a81 fix txt reducer Victor Taelin 2024-02-25 21:17:09 -0300
  • 06e2991e59 typo Victor Taelin 2024-02-25 20:53:25 -0300
  • c8fd9e54d5 improved equality - check docs/equality.md Victor Taelin 2024-02-25 19:46:44 -0300
  • 6dbe738b4c Working Rust CLI! Pretty errors. Many improvements Victor Taelin 2024-02-24 20:50:01 -0300
  • ee3c1550d9 initial port from ts to rust Victor Taelin 2024-02-23 22:17:45 -0300
  • bcf7fd28b9 giving up on bootstrapping due to parser perf Victor Taelin 2024-02-23 14:28:04 -0300
  • cc0bffb22c recursive Kind2 file loader works now... Victor Taelin 2024-02-22 23:43:20 -0300
  • ab98950f50 wip Victor Taelin 2024-02-22 21:31:53 -0300
  • dd47b11576
         Merge pull request #2 from Derenash/master Victor Taelin 2024-02-22 17:01:41 -0300
  • f3451e442b WIP - breaking; will update after the map merge Victor Taelin 2024-02-22 17:01:05 -0300
  • e4b262f9d1 many things Victor Taelin 2024-02-21 22:10:51 -0300
  • 3f1828cb0a add extra lines to test6 for merge facility Derenash 2024-02-21 12:21:03 -0300
  • 0f7ebfe06d deleting and commenting few U60 files Derenash 2024-02-21 12:18:31 -0300
  • 1336cd89a0 add comment to testBBT Derenash 2024-02-21 12:14:16 -0300
  • 658bade510 Update BBT tests file Derenash 2024-02-21 12:12:11 -0300
  • 627cc96777 Add commented version of BBT maps to String and U60 Derenash 2024-02-21 12:11:42 -0300
  • 0e97867813 add Cmp files for String and U60 Derenash 2024-02-21 12:10:56 -0300
  • 7124036c94 Update comments on BBT files Derenash 2024-02-21 12:10:30 -0300
  • aa3de2bf64 renamed testBBT function Derenash 2024-02-20 18:18:24 -0300
  • 5898cf5e70 renamed testBBT Derenash 2024-02-20 17:09:22 -0300
  • 95e65c55a6 BBT updates Derenash 2024-02-20 17:08:37 -0300
  • c6be73b582 Merge branch 'master' of https://github.com/Derenash/kind2.0 Derenash 2024-02-20 14:58:08 -0300
  • 37fb440ea9 split files and add OBLITERATE Victor Taelin 2024-02-20 19:23:15 -0300
  • 9c1a3f16a0 checkpoint Victor Taelin 2024-02-20 16:50:19 -0300
  • 6bf27d1d22 small improvements to BBT Derenash 2024-02-20 14:55:49 -0300
  • cb515a8cb1 Add working BBT, still optimizing it Derenash 2024-02-20 13:32:14 -0300
  • 8b16d0751f i dont remember Victor Taelin 2024-02-20 01:11:21 -0300
  • 2033189215 Kind.mat Victor Taelin 2024-02-19 20:09:55 -0300
  • 1aa7559d97 kind2 parses Bool.kind2 Victor Taelin 2024-02-19 17:09:45 -0300
  • 2ce6e5bfe1 update Victor Taelin 2024-02-19 15:38:28 -0300
  • 9a7a3aa1aa add missing files Victor Taelin 2024-02-19 15:27:32 -0300
  • 7c09ed7b4e recent Victor Taelin 2024-02-19 15:16:21 -0300
  • cc8e109571 skip comments Victor Taelin 2024-02-19 12:37:51 -0300
  • bcb53dcf39 parser stuff Victor Taelin 2024-02-18 18:55:09 -0300
  • 231b7885cd alignments Victor Taelin 2024-02-13 15:32:11 -0300
  • b35e7e14cd several additional parsers Victor Taelin 2024-02-13 15:28:48 -0300
  • f2b86bd3e8 Kind2 parser WIP Victor Taelin 2024-02-12 22:39:06 -0300
  • ee703523cd add several functions to book Victor Taelin 2024-02-12 20:15:50 -0300
  • 534ff0dec2 bootstrap stringifier / compiler Victor Taelin 2024-02-12 17:18:29 -0300
  • 3fb44f50bf Add (not working) hvm2 version of kind2 Nicolas Abril 2024-02-12 17:43:14 +0100
  • 22a699eb38 kind2 initial bootstrap Victor Taelin 2024-02-11 20:14:37 -0300
  • 9e09d6f845 more functions Victor Taelin 2024-02-10 23:15:08 -0300
  • bda6304856 faster, better equality; 1.6m to 160k rewrites on Kind.Show Victor Taelin 2024-02-10 18:34:04 -0300
  • db769b7abc kind2 bootstrap - initial term and stringifier Victor Taelin 2024-02-10 12:25:48 -0300
  • 6b764e9522 tmp Victor Taelin 2024-02-10 09:20:22 -0300
  • b9683c424d remove eta expansion comment Victor Taelin 2024-02-08 20:14:37 -0300
  • bfced71efc fix missing reduce call Victor Taelin 2024-02-08 20:14:11 -0300
  • 9c5ecdeb16 add usage notes Victor Taelin 2024-02-08 20:04:56 -0300
  • c4c909994d add bft proof Victor Taelin 2024-02-08 20:01:37 -0300
  • f872b10909 first kind2 proof Victor Taelin 2024-02-08 19:15:06 -0300
  • 95f6518b81 fix reduce, add equal Victor Taelin 2024-02-08 19:01:46 -0300
  • 7381d03062 updates Victor Taelin 2024-02-08 17:47:51 -0300
  • 755e72a558 updates Victor Taelin 2024-02-08 15:47:43 -0300
  • 88b44e0fff Kind2 notice Victor Taelin 2024-02-08 13:51:51 -0300
  • 8a56e1878f rename Victor Taelin 2024-02-08 13:47:38 -0300
  • 472bfb2830 use hvm1, working examples Victor Taelin 2024-02-08 13:41:08 -0300
  • 1230367fc4 add logger Victor Taelin 2024-02-07 11:49:21 -0300
  • 0007b95d39 add cli Victor Taelin 2024-02-07 11:28:18 -0300