| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-03-05 | Better primality test | Marvin Borner | |
| 2025-01-23 | Improve Parigot numbers | Marvin Borner | |
| 2025-01-23 | Whoops! | Marvin Borner | |
| 2024-11-27 | Monad improvements | Marvin Borner | |
| 2024-11-06 | Minor improvements | Marvin Borner | |
| 2024-10-28 | Fixed minor intelligence issues | Marvin Borner | |
| 2024-10-28 | Improved minibruijn and parser | Marvin Borner | |
| 2024-10-27 | Improvements in maps, sets, and parsing | Marvin Borner | |
| 2024-10-27 | Refactored comparisons and sets | Marvin Borner | |
| 2024-10-26 | Minor fixes | Marvin Borner | |
| 2024-10-26 | Fixed balanced tree / set | Marvin Borner | |
| 2024-10-26 | Initial minibruijn | Marvin Borner | |
| 2024-10-26 | Scrappy parser combinators | Marvin Borner | |
| 2024-09-08 | Fixed y* | Marvin Borner | |
| 2024-09-08 | Fun new tupling technique | Marvin Borner | |
| 2024-09-06 | Sample/std fixes | Marvin Borner | |
| 2024-08-23 | Added concatenation | Marvin Borner | |
| 2024-08-23 | Fixed many bugs (was very sleepy) | Marvin Borner | |
| 2024-08-23 | lgtm, didn't test | Marvin Borner | |
| 2024-08-06 | Complex updates | Marvin Borner | |
| 2024-08-02 | Improved Parigot data types | Marvin Borner | |
| 2024-08-01 | Fixed definitions from imports and input | Marvin Borner | |
| 2024-08-01 | Much more intelligence | Marvin Borner | |
| 2024-07-29 | Added actual source to definition | Marvin Borner | |
| 2024-07-28 | Added std definition map | 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-07 | Some more work on monads | Marvin Borner | |
| 2024-05-17 | Minor additions :) | Marvin Borner | |
| 2024-05-02 | More math | Marvin Borner | |
| MAATHTHAHHAHA | |||
| 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 | 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-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 | More samples and definitions | Marvin Borner | |
| 2024-03-23 | Some Project Euler solutions | Marvin Borner | |
| 2024-03-21 | Weird mistakes | 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-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 | 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-02-29 | great changes | Marvin Borner | |
| you gotta believe me, they're great. they're the best | |||
| 2024-02-29 | Encourage use of combinators | Marvin Borner | |
| 2024-02-26 | Fixed universal machine | Marvin Borner | |
| 2024-02-25 | Added ION tests | Marvin Borner | |
| Will fail though | |||
| 2024-02-24 | Added verbose mode | Marvin Borner | |
| Mainly for CI right now, might extend in the future. | |||
| 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-15 | Added number conversion utility functions | Marvin Borner | |
| 2024-01-18 | More efficient str→blc | Marvin Borner | |
| 2023-12-15 | Minor documentation fixes | 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-10-30 | Fixed comments | Marvin Borner | |
| 2023-10-19 | Optimized boolean logic | Marvin Borner | |
| 2023-10-15 | Started meta lib | Marvin Borner | |
| 2023-10-15 | Fixed some minor things | Marvin Borner | |
| 2023-10-14 | Generic Church and hyperfac | Marvin Borner | |
| 2023-10-06 | Fun with monads | Marvin Borner | |
| 2023-08-05 | Removed redundant `∅?‣`, `^‣` and `~‣` | Marvin Borner | |
| Uses a fun technique that reduces readability but improves fun :) | |||
| 2023-08-02 | Added currently known busy beavers | Marvin Borner | |
| Part of my attempt to find BB(37) | |||
| 2023-07-30 | Implemented power tower / knuth functions | Marvin Borner | |
| Again during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com> | |||
| 2023-07-24 | Implemented logarithm functions | Marvin Borner | |
| Done during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com> | |||
| 2023-07-08 | Added variadic y combinator | Marvin Borner | |
| 2023-07-08 | Added variadic signatures | Marvin Borner | |
| 2023-07-08 | Added variadic list constructor | Marvin Borner | |
| 2023-06-26 | Added eval/apply functions | Marvin Borner | |
| 2023-06-02 | Added some missing functions | Marvin Borner | |
| 2023-04-08 | Various improvements to standard library docs | Marvin Borner | |
| 2023-03-07 | Useful additions | Marvin Borner | |
| hehe | |||
| 2023-03-06 | Started AVL tree implementation | Marvin Borner | |
| 2023-03-05 | Switched to prefixed listification | Marvin Borner | |
| 2023-03-05 | Monadic list/io interface | Marvin Borner | |
| 2023-03-04 | More efficient mst functions | Marvin Borner | |
| 2023-03-04 | Added box functions | Marvin Borner | |
| Very helpful for some data structures | |||
| 2023-03-04 | More efficient math functions | Marvin Borner | |
| 2023-03-04 | Added odd/even functions | Marvin Borner | |
| 2023-03-04 | Fixed pi algorithm | Marvin Borner | |