index
:
marvinborner/bruijn
main
:abacus: Programming with pure lambda calculus
Marvin
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2025-03-06
Add state demo
HEAD
main
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
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
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
2024-04-25
Rosetta sync
Marvin Borner
2024-04-25
Working Taylor expansions
Marvin Borner
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
2024-04-09
Added test for AOC samples
Marvin Borner
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
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
2024-03-02
Bottles of beer
Marvin Borner
2024-03-02
Docs & samples
Marvin Borner
[next]
