index
:
marvinborner/calm
aggressive
:zap: Highly efficient and aggressive lambda calculus reducer [WIP]
Marvin
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
reducer.c
blob: e74946bf8152190ce693fb7749111951cdf2dd0e (
plain
) (
blame
)
1
2
3
4
5
6
#include <reducer.h> struct term *reduce(struct term *term) { return term; }