| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-08-01 | Fixed definitions from imports and input | Marvin Borner | |
| 2024-08-01 | Minor improvements | Marvin Borner | |
| 2024-08-01 | Much more intelligence | Marvin Borner | |
| 2024-07-29 | Added actual source to definition | Marvin Borner | |
| 2024-07-29 | Fixed workflow syntax | Marvin Borner | |
| I hope | |||
| 2024-07-28 | Added std definition map | Marvin Borner | |
| 2024-07-28 | Improved documentation | Marvin Borner | |
| 2024-07-27 | Some accumulated math changes | Marvin Borner | |
| 2024-07-27 | Fixed truly crazy bug in some rare cases | Marvin Borner | |
| 2024-07-27 | Improved division by several magnitudes | Marvin Borner | |
| 2024-06-09 | Fixed IO function names | Marvin Borner | |
| 2024-06-07 | Some more work on monads | Marvin Borner | |
| 2024-05-22 | Funny joke hihi | Marvin Borner | |
| 2024-05-22 | Fixed highlighting for complex numbers | Marvin Borner | |
| REMOVE THIS GARBAGE CODE IN THE FUTURE | |||
| 2024-05-17 | Fixed tests | Marvin Borner | |
| 2024-05-17 | Minor additions :) | Marvin Borner | |
| 2024-05-09 | Another rosetta sync | Marvin Borner | |
| 2024-05-02 | More math | Marvin Borner | |
| MAATHTHAHHAHA | |||
| 2024-04-25 | Rosetta sync | Marvin Borner | |
| 2024-04-25 | Working Taylor expansions | Marvin Borner | |
| finally | |||
| 2024-04-25 | Various experiments | Marvin Borner | |
| 2024-04-25 | Better limiting using unary mapping | Marvin Borner | |
| 2024-04-24 | More tests | Marvin Borner | |
| 2024-04-15 | Added parsing and printing of complex numbers | Marvin Borner | |
| 2024-04-13 | Visual improvements | Marvin Borner | |
| 2024-04-13 | Started complex numbers | Marvin Borner | |
| 2024-04-13 | Worked on real numbers | Marvin Borner | |
| 2024-04-13 | Added initial implementation for floats/rationals | Marvin Borner | |
| 2024-04-09 | Only run sample tests on HigherOrder reducer | Marvin Borner | |
| Otherwise it takes ages. Also, correct behavior of the reducer is already implied by passing the std tests. | |||
| 2024-04-09 | Added test for AOC samples | Marvin Borner | |
| (although 2018 is actually broken) | |||
| 2024-03-30 | Adds tests for samples | Marvin Borner | |
| 2024-03-30 | Fixed paths of nested imports | Marvin Borner | |
| 2024-03-25 | Add support for context-dependent imports / generics | Marvin Borner | |
| 2024-03-25 | Renamed number comparison functions | Marvin Borner | |
| 2024-03-25 | No, you were just stupid | Marvin Borner | |
| 2024-03-25 | Improved samples by adding links to problems | Marvin Borner | |
| 2024-03-25 | More samples and definitions | Marvin Borner | |
| 2024-03-23 | Some Project Euler solutions | Marvin Borner | |
| 2024-03-23 | Added very scientific std stats | Marvin Borner | |
| 2024-03-22 | More AOC | Marvin Borner | |
| 2024-03-21 | Weird mistakes | Marvin Borner | |
| 2024-03-21 | Fixed AOC samples | Marvin Borner | |
| 2024-03-21 | Added lcm | Marvin Borner | |
| 2024-03-18 | Added linear logic | Marvin Borner | |
| 2024-03-18 | Minor orthographic improvements | Marvin Borner | |
| 2024-03-16 | Added two fun animations | Marvin Borner | |
| 2024-03-15 | Initial working optimization stage | Marvin Borner | |
| 2024-03-14 | More samples | Marvin Borner | |
| 2024-03-13 | Better string comparison using prefixed spaceship operator | Marvin Borner | |
| Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de> | |||
| 2024-03-13 | Added much faster division algorithm | Marvin Borner | |
| 2024-03-10 | Better std UI | Marvin Borner | |
| 2024-03-10 | Added ternary logic | Marvin Borner | |
| 2024-03-10 | Added sample page to website | Marvin Borner | |
| 2024-03-10 | Remove optimizer for now (WIP!) | Marvin Borner | |
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-03 | Even more samples | Marvin Borner | |
| wtf | |||
| 2024-03-02 | Bottles of beer | Marvin Borner | |
| 2024-03-02 | Docs & samples | Marvin Borner | |
| 2024-03-02 | Several additions to std | Marvin Borner | |
| Some weren't committed for a year! | |||
| 2024-03-02 | Started non-outsourced optimizer | Marvin Borner | |
| 2024-02-29 | Synced samples | Marvin Borner | |
| 2024-02-29 | great changes | Marvin Borner | |
| you gotta believe me, they're great. they're the best | |||
| 2024-02-29 | Fixed std paths | Marvin Borner | |
| 2024-02-29 | Added HigherOrder to test CI | Marvin Borner | |
| 2024-02-29 | Added benchmarks | Marvin Borner | |
| 2024-02-29 | Removed stacks test dir | Marvin Borner | |
| 2024-02-29 | Encourage use of combinators | Marvin Borner | |
| 2024-02-29 | Bump GHC | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-26 | Fixed universal machine | Marvin Borner | |
| 2024-02-26 | Added metacircular self-interpreter to wiki | Marvin Borner | |
| More details in the linked blog post. | |||
| 2024-02-25 | Added ION tests | Marvin Borner | |
| Will fail though | |||
| 2024-02-25 | Fixed warnings | Marvin Borner | |
| 2024-02-24 | Added verbose mode | Marvin Borner | |
| Mainly for CI right now, might extend in the future. | |||
| 2024-02-24 | Minor ION cleanup | Marvin Borner | |
| 2024-02-24 | Initial import of the ION reducer | Marvin Borner | |
| The full commit history can be found on AIT/nf.hs since this is mainly a translation of Tromp's nf.c | |||
| 2024-02-24 | Added reducer selection flag | Marvin Borner | |
| 2024-02-23 | More Rosetta | Marvin Borner | |
| 2024-02-22 | Hyperfine measurement | Marvin Borner | |
| 2024-02-21 | Additions for Rosetta Code | Marvin Borner | |
| 2024-02-16 | Added basic stdlib CI | Marvin Borner | |
| 2024-02-16 | Added strong Rosenberg encoding for meta encoding | Marvin Borner | |
| Originally got the idea from @sgoguen (YC) and was further inspired by @hbr from one of their blog posts[1]. The current encoding has some holes and bad performance, so I might switch to a different one in the future. The wiki and metaprogramming blog post have been updated accordingly. [1] https://hbr.github.io/Lambda-Calculus/computability/text.html | |||
| 2024-02-16 | Added meta humanifier | Marvin Borner | |
| 2024-02-15 | Added number conversion utility functions | Marvin Borner | |
| 2024-01-21 | Targetted dumping and (un)bblc | Marvin Borner | |
| 2024-01-19 | BLoC/BLoCade optimizer integration | Marvin Borner | |
| In many cases, shared-by-abstraction BLC is more performant (and notably smaller) than the current output where every term just gets substituted (and potentially duplicated) directly. BLoC in combination with BLoCade's shared BLC target optimizes this automatically by trying to find the terms that would most benefit from deduplication and abstracting them respectively. Paging @tromp since we talked about this. This commit also introduces better argument parsing using optparse-applicative. | |||
| 2024-01-18 | More efficient str→blc | Marvin Borner | |
| 2023-12-15 | Minor documentation fixes | Marvin Borner | |
| 2023-11-30 | Minor highlighting fixes | Marvin Borner | |
| 2023-11-16 | Basic arithmetic is hard | Marvin Borner | |
| 2023-11-13 | Bumped max-width percentage | Marvin Borner | |
| 2023-11-11 | Added basic syntax highlighting to wiki | Marvin Borner | |
| 2023-11-11 | Added wiki to workflow | Marvin Borner | |
| 2023-11-11 | Fixed unquote operator | Marvin Borner | |
| 2023-11-11 | Minor wiki fixes | Marvin Borner | |
| css and blog | |||
| 2023-11-06 | Started unquote and improved quote | Marvin Borner | |
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-11-06 | Improved wiki and reduced readme | Marvin Borner | |
| 2023-11-06 | Started creating new docs with wiki | Marvin Borner | |
| 2023-11-02 | Improved kate syntax highlighting | Marvin Borner | |
| Should ultimately not rely on hardcoded math symbols | |||