Moving the stuff in combinatory-logic to a separate repository.

sergei-romanenko · Jan 30, 2015 · 8001339 · 8001339
1 parent 1fad246
commit 8001339
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 3,108 deletions.
diff --git a/combinatory-logic/GaspesSmith-STCC-SK.agda b/combinatory-logic/GaspesSmith-STCC-SK.agda