shithub: MicroHs

RSS feed

e79b4595 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/10/06 06:45 
Export sequence

af3fc6e9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/10/06 06:45 
Add isTupleConstr

31c67fdf – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/10/06 06:45 
Add sequence

66e6f188 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/10/05 07:21 
Temp

b79b7d62 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/10/05 07:20 
Help message.

a6b8bf43 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/10/05 07:20 
Better error message.

84d57533 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/29 16:58 
Temp

8b3176b9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 14:38 
More portability.

8d4d9b23 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 13:58 
Ignore more

257f66f2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 13:56 
Add a Haskell decompressor.

acc624d0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 13:53 
More to do

5cff6da4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/09/27 14:25 
MacOS portability fixes.

670231e5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 12:30 
Make it a little safer.

fa260f9e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 12:22 
Make tests work again

7dbe7a65 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 12:06 
Data.Integer is done

22e2124f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 10:48 
Add target to install compiler.

086e4cbf – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 07:18 
Add simple LZW compressor.

90d6663b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 07:18 
Add LZW decompressor.

cac797ad – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 06:46 
Better error message.

54e753fc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 06:45 
Add hSetBinaryMode (doing nothing)

3a4888cc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/27 06:45 
Swap to a better Map

60023048 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/26 11:22 
Refactor code reading from file.

4db170e4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/26 07:50 
More TODO

550785e5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 13:54 
Parse exponents in Double literals.

f1a9ba4b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 13:24 
Simplify and improve lexer a little.

e94e1019 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 12:50 
Fix conversion from double to string.

1435e355 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 12:32 
Add missing entries in Translate.

de1ba990 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 12:29 
Simplify getting the next token from the input stream.

c1b9c188 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 12:28 
Fix typo.

b171546e – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2023/09/25 12:14 
Merge pull request #1 from Rewbert/master

a68b3497 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 12:13 
Formatting.

250f9d89 – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:38 
final update of readme

83bb095b – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:35 
more reverts

766bc6f2 – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:32 
my editor inserted changes of its own into the README, here I try to undo some of them

0fe3f973 – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:24 
update readme and todo

c2f9686b – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:14 
double division

52b1309a – Rewbert <krookr@chalmers.se> authored on 2023/09/25 10:02 
fix Lennarts comments

be0d3b78 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/25 09:38 
Add some extensions.

3a29356d – Rewbert <krookr@chalmers.se> authored on 2023/09/25 09:15 
merge

0c7e35d8 – Robert Krook <rewbert93@gmail.com> authored and GitHub <noreply@github.com> committed on 2023/09/25 09:11 
Merge pull request #2 from Rewbert/current-merge

44a043da – Rewbert <krookr@chalmers.se> authored on 2023/09/25 09:09 
now the support I added for doubles work again, time to rebase again

dd4eadf2 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/24 13:42 
Code from the paper

25a4ef8b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/24 08:16 
Temp

8d675f3c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/23 16:16 
A simple implementation of arbitrary sized integers.

2216858c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/23 16:16 
Add init.

e8f8e6e1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 16:48 
Add comment explaining why rank-2 types are broken.

4a0b0de0 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 12:17 
Better command decoder

d0807e07 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 12:16 
Better leString

d6b4582c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 12:16 
Add words

dde9ba04 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 12:15 
Add isSpace

eeac1a81 – Rewbert <krookr@chalmers.se> authored on 2023/09/22 11:08 
two broken tests right now

79340a0f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 09:39 
Small fixes.

12bac3e8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 09:39 
Hack to force error messages.

231d9ec8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 09:38 
Make :clear empty the cache

718921b7 – Rewbert <krookr@chalmers.se> authored on 2023/09/22 09:37 
Merge branch 'augustss-master'

beb1d90b – Rewbert <krookr@chalmers.se> authored on 2023/09/22 09:22 
removed Main.hs

2ff4d2eb – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 08:53 
Split out Ordering type.

042f4d6e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 08:53 
Make primCompare return Ordering

fe190585 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 08:06 
Typo.

80e8fc32 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:55 
More docs

100938e8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:43 
More docs

b62ae993 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:31 
Make it work with cabal

b29c281f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:25 
Improve and document compilation process.

0b9fc139 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 07:12 
Use rnf.

85934531 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 06:55 
Add 'rnf' primitive.

44686596 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/22 06:55 
Add 'rnf' primitive.

747b9bb1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:40 
Formatting.

1498067e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:40 
Print anything (not a good idea).

0589439c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:19 
Make it compile with cabal.

b35ddc07 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:09 
Done

91863720 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:08 
Switch to Adams trees for the IdentMap

0e13031e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:07 
More possible combinators

78d7951d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:07 
Add primCompare, returning -1,0,1

8b4713bd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:06 
Add ^K

47235546 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:05 
Improve statistics tool.

1f897883 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 20:05 
Add Data.Ord

b1d42d48 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 15:02 
Some statistics helpers

0a75bcd5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 15:01 
Add a compare primtive. Should probably be changed.

db36f393 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 11:00 
Typo.

844cdf46 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 10:58 
Caveat emptor

40aead35 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 10:12 
Small improvements.

c6a6f859 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 08:51 
Use catch in Interactive.hs

8ca938fd – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 08:36 
Implement catch.

de8a34be – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/21 08:36 
Add fmap to IO

69e16fa4 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:33 
Minor fixes.

b4e1e10b – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:33 
Fix eval bug.

d018337c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:27 
Expand short String patterns.

cb44db66 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 20:23 
Fix bug in pattern match compilation.

5f9f3781 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 18:10 
disclaimer on the showDouble func

c99286fb – Rewbert <krookr@chalmers.se> authored on 2023/09/20 18:10 
add test case for doubles

75f35221 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 16:43 
Various changes for an interactive version.

a8308e68 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 13:11 
Refactor a little

5c52ede1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 12:57 
Even better locations.

21ed5016 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 12:46 
More location info.

8ac1a80e – Rewbert <krookr@chalmers.se> authored on 2023/09/20 12:33 
make printed doubles look nicer

46273f68 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 11:28 
fix bug

fef81c25 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:57 
Add test

5b20756d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:56 
Implement rank-N polymorphism (probably incorrectly).

b58a207d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/09/20 10:13 
Debug code.

00c36038 – Rewbert <krookr@chalmers.se> authored on 2023/09/20 10:12 
add src on 24 char length for doubles

Next