52 Commits (main)
 

Author SHA1 Message Date
Scott Olsen 973be9cb57 feat: sin signal primitive
5 months ago
Scott Olsen e363c0709d feat: exponential signal primitive
5 months ago
Scott Olsen cab27b7eb6 feat: unit ramp primitive
5 months ago
Scott Olsen dfcd8bd9bc feat: unit step signal
5 months ago
Scott Olsen c0e9f9ec37 fix: don't exit on no arguments
5 months ago
Scott Olsen fcd6a783f7 refactor: use do notation
5 months ago
Scott Olsen 0fdb4feffb feat: support passing files to the repl
5 months ago
Scott Olsen 8b8ed10357 feat: implement periodic signal shifting
7 months ago
Scott Olsen 0ebe87f3db feat: add delta function
7 months ago
Scott Olsen 22e5221c38 refactor: use a binding abstraction
7 months ago
Scott Olsen 591cd293c3 feat: support anamorphisms for defining signals
9 months ago
Scott Olsen b1778ba64d feat: add window primitive
9 months ago
Scott Olsen 56c7673ccf primitives: add signal primitive
9 months ago
Scott Olsen a7d51c3083 repl: define repl passes and clean up
9 months ago
Scott Olsen b0dc70ec01 types: Parse and type double values
9 months ago
Scott Olsen d917dc8de3 types: initial typechecker implementation
11 months ago
Scott Olsen b3b3329ddc primitives: refactor primitive arity
11 months ago
Scott Olsen 419bcf3721 primitives: add a struct primitive
11 months ago
Scott Olsen c4b8cdae7a repl: support evaluating program sources
11 months ago
Scott Olsen 04a2e9a919 repl: drop file extension on import qualifiers
11 months ago
Scott Olsen bedeecdd0c repl: support importing definitions
11 months ago
Scott Olsen 9e1e2da64a environment: add documentation
12 months ago
Scott Olsen af9f7dd0aa repl: make it possible to read programs
12 months ago
Scott Olsen 62c8fb982b meta: store ibc files in a subdir
1 year ago
Scott Olsen 19280be545 meta: remove unused parser code
1 year ago
Scott Olsen 99bafea20f environment: return rose errors instead of maybe
1 year ago
Scott Olsen 886728fdb1 evaluator: remove redundant code
1 year ago
Scott Olsen 5d455136f8 meta: make build a phony target
1 year ago
Scott Olsen 0eb3291220 meta: update makefile and gitignore
1 year ago
fool 9d76976d1c meta: add license
2 years ago
scottolsen 3726e0f7e0 check in a bunch of files
2 years ago
scottolsen 86eece900f Make it possible to define things
2 years ago
scottolsen a30a419893 Environment: add execution context/scopes; update environment
2 years ago
scottolsen 7dcbd5804c Environment: Define an environment interface
2 years ago
scottolsen 5fdb7baec5 Lambda: Add support for recursive let bindings
3 years ago
scottolsen 91a7293758 Lambda/Evaluator: Move let transformation into Lambda
3 years ago
scottolsen 2bba15745a Evaluator: remove unused morphisms
3 years ago
scottolsen 21677c4c6d Primitives: Reimplement eta as a primitive
3 years ago
scottolsen 8e230fb3cf Primitives: Make Y a primitive
3 years ago
scottolsen b418661541 Primitives: Fix partial application; implement alpha as primitive
3 years ago
scottolsen 68f75fb0a3 Primitives: Refactor primitive functions
3 years ago
scottolsen ef89532b6c Evaluator: Add evalPrim and make general improvements
3 years ago
scottolsen bd48379573 Evaluator: Fix let binding counting
3 years ago
scottolsen f5997a60c7 Primitives: add equality
3 years ago
scottolsen 0ebc21b772 Add showDebug to improve debugging
3 years ago
scottolsen aa787fdca1 Add the Y combinator.
3 years ago
scottolsen 3e66f1d333 Add alpha conversion
3 years ago
scottolsen 9657484a45 Add support for let expressions
3 years ago
scottolsen 38eb2ef9fb Evaluator: refactor into mutual functions
3 years ago
scottolsen 9e64dff05c Add boolean atoms and primitive if
3 years ago