Permalink
Browse files

Touch README.

  • Loading branch information...
xkapastel committed Feb 8, 2019
1 parent 370a3a2 commit 6133ebb8e8977ce88ced2ea881dece0360089e85
Showing with 17 additions and 0 deletions.
  1. +17 −0 README.md
@@ -7,3 +7,20 @@
Denshi is an experimental programming environment, intended to explore
applications of machine learning to the development of software.

## ABC

ABC is a combinator calculus with six primitive functions:

```
[A] [B] a = B A apply
[A] [B] b = [[A] B] bind
[A] c = [A] [A] copy
[A] d = drop
[A] s B r = [B] A shift / reset
```

All values in ABC are functions made of these six primitives. ABC uses
a concept of *well-known functions* to implement *software
acceleration*.

ABC has a similar goal to Nock, but is simpler and less idiosyncratic.

0 comments on commit 6133ebb

Please sign in to comment.