| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-03-06 | Add state demoHEADmain | Marvin Borner | |
| 2025-03-05 | Better primality test | Marvin Borner | |
| 2025-02-10 | Bumped deprecated actions | Marvin Borner | |
| 2025-02-10 | Added superscript letters | Marvin Borner | |
| 2025-01-23 | Experiment of golfing Wilson's theorem | Marvin Borner | |
| 2025-01-23 | Improve Parigot numbers | Marvin Borner | |
| 2025-01-23 | Whoops! | Marvin Borner | |
| 2025-01-12 | Disabled LLVM flag | Marvin Borner | |
| 2025-01-12 | Switched to LLVM v15 | Marvin Borner | |
| 2025-01-12 | Fixed LLVM installation | Marvin Borner | |
| 2024-12-31 | Link description | Marvin Borner | |
| 2024-11-27 | Fix rng state | Marvin Borner | |
| 2024-11-27 | Monad improvements | Marvin Borner | |
| 2024-11-09 | Logo hover event | Marvin Borner | |
| 2024-11-06 | Minor improvements | Marvin Borner | |
| 2024-11-02 | Added links to std to example symbols | Marvin Borner | |
| 2024-10-31 | Trigger hover event for function jump in url | Marvin Borner | |
| 2024-10-31 | Fixed parsing of prefix operators starting with hashes | 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 | Synced AOC checks | Marvin Borner | |
| 2024-10-26 | Initial minibruijn | Marvin Borner | |
| 2024-10-26 | Scrappy parser combinators | Marvin Borner | |
| 2024-09-13 | Added note | Marvin Borner | |
| 2024-09-08 | Fixed y* | Marvin Borner | |
| 2024-09-08 | Fun new tupling technique | Marvin Borner | |
| 2024-09-06 | Synced cabal | Marvin Borner | |
| 2024-09-06 | Sample/std fixes | Marvin Borner | |
| 2024-09-06 | Refactored Helper.hs | 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-20 | Added basic std alias detection | Marvin Borner | |
| 2024-08-06 | Added new blog post | Marvin Borner | |
| 2024-08-06 | Complex updates | Marvin Borner | |
| 2024-08-02 | Improved Parigot data types | Marvin Borner | |
| 2024-08-01 | Fixed overflow scrollbar on select browsers | Marvin Borner | |
| 2024-08-01 | Fixed python version | Marvin Borner | |
| 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 | |