| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2023-03-03 | Added second part of aoc and needed functions | Marvin Borner | |
| Also, I don't know how I got 30s for the first part previously. Cannot reproduce and probably was a mistake. idk | |||
| 2023-03-03 | Faster string breaking | Marvin Borner | |
| 2023-02-28 | Additions to std/ | Marvin Borner | |
| 2023-02-26 | More std functions | Marvin Borner | |
| 2023-02-26 | Added more unary functions | Marvin Borner | |
| 2023-02-25 | Fixed wrong input syntax | Marvin Borner | |
| 2023-02-24 | Added more string/char functions | Marvin Borner | |
| 2023-02-24 | Moved number implementations | Marvin Borner | |
| 2023-02-24 | More functions for new representations | Marvin Borner | |
| 2023-02-23 | Additions to standard library | Marvin Borner | |
| Mainly new binary encoding and corresponding functions | |||
| 2023-02-23 | Fixed and typed result/option monads | Marvin Borner | |
| 2023-02-23 | Added more types | Marvin Borner | |
| 2023-02-22 | Added types for most combinators | Marvin Borner | |
| 2023-02-21 | Standard library sync | Marvin Borner | |
| 2022-09-02 | Improved mst/last performance | Marvin Borner | |
| 2022-09-01 | More work on division | Marvin Borner | |
| 2022-09-01 | Started division functions | Marvin Borner | |
| 2022-08-31 | More functions | Marvin Borner | |
| 2022-08-31 | Unicodification | Marvin Borner | |
| I like unicode, sorry if you have a different opinion | |||
| 2022-08-29 | Started mixfix chaining | Marvin Borner | |
| 2022-08-26 | General std improvements | Marvin Borner | |
| 2022-08-22 | Fixed execution of multiple commands and removed :print | Marvin Borner | |
| 2022-08-20 | Parser shenanigans | Marvin Borner | |
| 2022-08-20 | Started math library | Marvin Borner | |
| 2022-08-19 | General improvements | Marvin Borner | |
| 2022-08-17 | Many additional functions | Marvin Borner | |
| 2022-08-16 | Std improvements | Marvin Borner | |
| very descriptive as always :D I honestly don't know though | |||
| 2022-08-15 | List implementation improvements | Marvin Borner | |
| 2022-08-15 | General std cleanup | Marvin Borner | |