| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |||
| 2023-10-31 | Fixed flipped trits in comment | Marvin Borner | |
| 2023-10-30 | Fixed comments | Marvin Borner | |
| 2023-10-19 | Optimized boolean logic | Marvin Borner | |
| 2023-10-19 | Added example mutual recurrence relations for y* | Marvin Borner | |
| 2023-10-16 | Syntax highlighting fix for quoting and indices | Marvin Borner | |
| 2023-10-15 | Started meta lib | Marvin Borner | |
| 2023-10-15 | Fixed some minor things | Marvin Borner | |
| 2023-10-15 | Universal machine interpreter | Marvin Borner | |
| This is a fun lambda calculus interpreter, written in bruijn itself. The code is based on @Tromp submission to IOCCC 2012. Performance-wise the unary (fac 9) takes 11.4s simulated vs 1.2s native. -> main problem is memory, simulated (fac 10) causes memory overflow on 32GB. | |||
| 2023-10-14 | Generic Church and hyperfac | Marvin Borner | |
| 2023-10-06 | Fun with monads | Marvin Borner | |
| 2023-09-22 | Minor improvements | Marvin Borner | |
| Sorry, don't exactly know and don't care. Just some things I apparently didn't commit | |||
| 2023-09-03 | Added De Bruijn numerals | Marvin Borner | |