From 442d1557b879a8a4bd76f441f72a17bfb71cf05f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 17 Jul 2021 22:48:54 -0400 Subject: Now allowing compilers to generate custom-named outputs. --- documentation/bookmark/paradigm/logic_programming.md | 8 ++++++++ documentation/bookmark/paradigm/subjective_programming.md | 4 ++++ 2 files changed, 12 insertions(+) create mode 100644 documentation/bookmark/paradigm/subjective_programming.md (limited to 'documentation/bookmark/paradigm') diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md index d48cd9e27..caf03f67d 100644 --- a/documentation/bookmark/paradigm/logic_programming.md +++ b/documentation/bookmark/paradigm/logic_programming.md @@ -1,3 +1,11 @@ +# Unification + +1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U) + +# Inspiration + +1. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402) + # Reference 1. https://book.simply-logical.space/ diff --git a/documentation/bookmark/paradigm/subjective_programming.md b/documentation/bookmark/paradigm/subjective_programming.md new file mode 100644 index 000000000..964571c7e --- /dev/null +++ b/documentation/bookmark/paradigm/subjective_programming.md @@ -0,0 +1,4 @@ +# Reference + +1. [Dancing with Symmetry to Harness the Power of Complexity: Subjective Programming in Context](https://www.infoq.com/presentations/oop-language-context/) + -- cgit v1.2.3