edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • fe9da0a9fa
         Merge 6a1ddb84b6 into 0fb1192cd3 Alexander Carter 2020-09-19 20:39:05 +0100
  • a02ceaabe4
         Merge 9f961f1694 into 0fb1192cd3 Fabián Heredia Montiel 2020-08-15 12:05:02 -0300
  • 35db89a18d
         Merge 7567d13f87 into 0fb1192cd3 tomKPZ 2020-08-15 12:04:51 -0300
  • 13a6da104a
         Merge 337bad206d into 0fb1192cd3 David Smith 2020-08-15 12:04:50 -0300
  • 1fcae0b014
         Merge bf89dd0078 into 0fb1192cd3 Fabián Heredia Montiel 2020-08-15 08:01:46 +0000
  • 0fb1192cd3 add stub functions for primitive casts between BitsN types master Thomas Herzog 2020-08-11 14:45:51 +0200
  • 2fca18dc9c add stub functions for primitive casts between BitsN types Thomas Herzog 2020-08-11 14:45:51 +0200
  • cd0d7d692b [ base ] add total last to List1 Guillaume ALLAIS 2020-08-05 12:09:35 +0100
  • 2425e76a1e [ base ] add cons for List1 Guillaume ALLAIS 2020-08-05 11:47:03 +0100
  • 2b5a00224d [ update ] introducing Data.List1 to match idris2 Guillaume ALLAIS 2020-08-04 12:38:41 +0100
  • 6fae2e8bfc [ update ] introducing Data.List1 to match idris2 Guillaume ALLAIS 2020-08-04 12:38:41 +0100
  • 8fc166acd4 Add find function to Data.List Niklas Larsson 2020-06-11 11:47:33 +0200
  • ebcb262cd9 Add find function to Data.List Niklas Larsson 2020-06-11 11:47:33 +0200
  • e9611b4ee1 Allow newer idris than 1.3.2 Niklas Larsson 2020-06-02 12:16:08 +0200
  • c2bf7712a6 Allow newer idris than 1.3.2 Niklas Larsson 2020-06-02 12:16:08 +0200
  • 75bb7883f6
         Merge pull request #391 from melted/fix_boot Edwin Brady 2020-06-01 22:19:08 +0100
  • d17bf01a5c Add isWindows Niklas Larsson 2020-06-01 21:43:26 +0200
  • 9f961f1694 Add unicode operator support for Mathematical Operators and Arrows Fabián Heredia Montiel 2020-04-14 23:17:01 -0500
  • 3cfd35c437 Move System.Clock to base Edwin Brady 2020-05-24 20:32:04 +0100
  • a5c9ce9306 Some directory file function renamings Edwin Brady 2020-05-24 20:29:49 +0100
  • e2ef9e05eb
         Merge pull request #390 from ska80/fix-idris2sh-build Edwin Brady 2020-05-22 11:07:12 +0100
  • 8a61f97ff6 Update .gitignore Kamil Shakirov 2020-05-22 11:33:23 +0600
  • 27006bc516 Fix building the latest self-hosted Idris 2 Kamil Shakirov 2020-05-22 02:02:51 +0600
  • fa92951af0 Update travis script Edwin Brady 2020-05-20 13:59:55 +0100
  • 24fed4feea Rename everything idris2boot, increment version Edwin Brady 2020-05-20 13:23:00 +0100
  • d2c84224c9
         Merge pull request #389 from andylokandy/gambit Edwin Brady 2020-05-19 22:38:13 +0100
  • 2fa61b8e33 Fix gambit codegen andylokandy 2020-05-20 04:17:07 +0800
  • 98921cb7d1 Refactor Utils.String.stripQuotes to avoid double reversion on Strings Fabián Heredia Montiel 2020-05-19 15:06:30 -0500
  • dc60c3e670 Fix Path.setExtension andylokandy 2020-05-20 03:50:37 +0800
  • e611161ec4 Update CONTRIBUTORS Edwin Brady 2020-05-19 20:09:59 +0100
  • 149e6fbbaa Add blodwen-os to racket support Edwin Brady 2020-05-19 16:15:18 +0100
  • c0b7c6a9d8
         Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshalling Edwin Brady 2020-05-19 19:38:15 +0100
  • 0d9441611a Create new mapError utility function and refactor some parser code Fabián Heredia Montiel 2020-05-16 17:34:01 -0500
  • c197c0f777 Update Buffer+File libraries Edwin Brady 2020-05-19 16:06:05 +0100
  • f174cbba78 Add fromJust andylokandy 2020-05-19 19:13:09 +0800
  • ba9f14a18c Don't collapse empty lines in 'lines' Edwin Brady 2020-05-19 10:44:16 +0100
  • 8c9eec15a8 Calculate OS from scheme code Edwin Brady 2020-05-18 19:03:41 +0100
  • bf89dd0078 Split Lexer/Parser into two: Source(.idr) and Package(.ipkg) Fabián Heredia Montiel 2020-05-16 21:53:01 -0500
  • 892dee2c71 Cleanup parser with new mapError utility function Fabián Heredia Montiel 2020-05-16 17:34:01 -0500
  • 0ef2885548 Use realpath in chez startup script Edwin Brady 2020-05-18 18:12:56 +0100
  • 337bad206d Add Vect insertion sort and merge sort David Smith 2020-04-27 18:54:06 -0300
  • f5aab39b1c Fix bug and doc andylokandy 2020-05-18 17:51:35 +0800
  • ea84eab2e6 Faster search for modules to build in packages Edwin Brady 2020-05-18 10:15:31 +0100
  • c7ef44996a Fix codegen in Chez/Racket Edwin Brady 2020-05-18 09:43:16 +0100
  • 2ba6728e16 Returns a error message if the parser fails andylokandy 2020-05-18 16:33:44 +0800
  • 7007c434ae Update doc andylokandy 2020-05-18 14:59:46 +0800
  • a5df2ff7f0 Update typedd book test andylokandy 2020-05-18 14:51:36 +0800
  • 0f5059ea91 Update typedd book test andylokandy 2020-05-18 14:51:36 +0800
  • a80d0d2265 Improve System.Path andylokandy 2020-05-18 11:08:38 +0800
  • a130952928 Switch buffers back to scheme FFI Edwin Brady 2020-05-17 22:49:41 +0100
  • 78099e3f89 Update docs of System.Path andylokandy 2020-05-18 03:22:30 +0800
  • 7b86e1980d Add System.Path andylokandy 2020-05-18 02:51:18 +0800
  • 4c27a6f134 Merge remote-tracking branch 'origin/master' into path andylokandy 2020-05-18 02:44:40 +0800
  • 7567d13f87 Fix typo in octLit pattern description Thomas Anderson 2020-05-17 11:17:22 -0700
  • 087b4d75a8 Address comment andylokandy 2020-05-17 22:26:18 +0800
  • 463f1b3233 Add foldlM Edwin Brady 2020-05-17 15:23:05 +0100
  • 1acbf1b67e Add Show for Either Edwin Brady 2020-05-17 14:51:27 +0100
  • 035bab3dbd Fixes some issues mentioned in PR #370 and #380 Kamil Shakirov 2020-05-17 18:50:05 +0600
  • a302be38f4 Add missing export modifier to ExitCode Edwin Brady 2020-05-17 13:08:30 +0100
  • 379a0d7324 Add Data.List.iterate andylokandy 2020-05-17 15:28:09 +0800
  • b7614a5219 Add missing modifier andylokandy 2020-05-17 03:02:58 +0800
  • baecb34cee Add useful functions for List andylokandy 2020-05-17 02:56:10 +0800
  • 3d56ec62b4 Update ipkgs Edwin Brady 2020-05-16 19:05:26 +0100
  • f0a87e88c2 Remove extra Show TokenData definition Edwin Brady 2020-05-16 19:03:30 +0100
  • c7f893f6aa Reorganise optimisation options for C Edwin Brady 2020-05-16 18:08:00 +0100
  • 6ef86bc5d6 Fix check in findOffset Edwin Brady 2020-05-16 18:05:45 +0100
  • d8dbc278cf
         Revert "Refactor makefiles" revert-370-fix-makefiles Edwin Brady 2020-05-16 17:55:53 +0100
  • 7259743f99 Update docs; options now in config.mk Edwin Brady 2020-05-16 17:35:55 +0100
  • 4c35210025
         Merge pull request #370 from ska80/fix-makefiles Edwin Brady 2020-05-16 17:34:51 +0100
  • 79d52c5207 Switch to List Char for the lexer Edwin Brady 2020-05-16 16:30:51 +0100
  • 560449e087 Check bounds on substring Edwin Brady 2020-05-16 13:50:37 +0100
  • 19bcefb25e contrib shouldn't be in the default search path Edwin Brady 2020-05-16 13:08:07 +0100
  • debe5f6fc3 Add chmod to System.File Edwin Brady 2020-05-16 13:02:04 +0100
  • 263d5fa3a1 More system functions Edwin Brady 2020-05-16 12:47:36 +0100
  • 34802b9304 Add some Strings functions Edwin Brady 2020-05-16 12:23:57 +0100
  • 306aea32b8
         [ test ] add test for defaulting peculiarity (#376) G. Allais 2020-05-16 00:43:17 +0100
  • 6f4a36e84b Add octal literals Edwin Brady 2020-05-15 22:31:02 +0100
  • 9003f0d182
         Merge a8e099b770 into 7edef68739 Fabián Heredia Montiel 2020-05-15 18:44:24 +0200
  • a8e099b770 Implement pragma for declaring nat optimizations Fabián Heredia Montiel 2020-05-02 22:41:29 -0500
  • 26a4fd17c0 [ fix ] expected output for basic040 Guillaume ALLAIS 2020-05-15 16:52:49 +0100
  • 1eeff34b44 Fix Text.Parser.count andylokandy 2020-05-15 23:44:03 +0800
  • d84536d332 [ test ] add test for defaulting peculiarity Guillaume ALLAIS 2020-05-15 16:02:33 +0100
  • a3790d8442 Remove a couple of libraries Racket doesn't need Edwin Brady 2020-05-15 13:36:18 +0100
  • 3a9823e32a Add --verbose flag Edwin Brady 2020-05-15 13:31:03 +0100
  • 7edef68739
         Merge pull request #374 from ska80/fix-chez017-test Edwin Brady 2020-05-15 15:55:35 +0100
  • 17b01b807e Fix unmarshalling of Integer values in TTC Johann Rudloff 2020-05-11 17:02:45 +0200
  • 735395f403 Fix expected values of arithmetic test Johann Rudloff 2020-05-11 17:00:23 +0200
  • 21507e64f3 Some Racket CG fixes Edwin Brady 2020-05-15 12:43:31 +0100
  • 109feaaf2f Fix tests/chez/chez017 test Kamil Shakirov 2020-05-15 16:03:34 +0600
  • 02ce7b568d Reorganise TTC to make code generation faster Edwin Brady 2020-05-14 20:25:17 +0100
  • dc67515611 Fix and test directory code Edwin Brady 2020-05-14 12:40:48 +0100
  • 87c54caa27 Do compiling/inlining per module Edwin Brady 2020-05-14 11:42:09 +0100
  • 80e6dfa31c Merge branch 'master' into fix-makefiles Kamil Shakirov 2020-05-14 10:59:00 +0600
  • 33aa321127 Include config.mk in the source distribution Kamil Shakirov 2020-05-14 01:35:00 +0600
  • 3acd7a0805 Remove Chicken CG deps from CI tests Kamil Shakirov 2020-05-14 01:19:52 +0600
  • 18b6449657 Match on names for typecase Edwin Brady 2020-05-13 20:10:41 +0100
  • 5dfa853352 Merge branch 'master' into fix-makefiles Kamil Shakirov 2020-05-14 00:13:47 +0600
  • f5962e1ea4 Update test output Edwin Brady 2020-05-13 19:06:22 +0100
  • 0e7e05382a Merge branch 'master' into fix-makefiles Kamil Shakirov 2020-05-13 23:37:40 +0600
  • 8af2c6abca
         Merge 4dd200042f into a6e7326ab7 Matúš Tejiščák 2020-05-13 21:45:55 +0900