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
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
2024-03-02
Several additions to std
Marvin Borner
2024-03-02
Started non-outsourced optimizer
Marvin Borner
2024-02-29
Synced samples
Marvin Borner
2024-02-29
great changes
Marvin Borner
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
2024-02-25
Added ION tests
Marvin Borner
2024-02-25
Fixed warnings
Marvin Borner
2024-02-24
Added verbose mode
Marvin Borner
2024-02-24
Minor ION cleanup
Marvin Borner
2024-02-24
Initial import of the ION reducer
Marvin Borner
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
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
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
2023-11-06
Started unquote and improved quote
Marvin Borner
[next]