From fa40cabbf361b717023183b57eed3bb72919a080 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 18 Nov 2019 18:45:52 -0400
Subject: Minor adjustments.

---
 documentation/research/machine_learning.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'documentation/research/machine_learning.md')

diff --git a/documentation/research/machine_learning.md b/documentation/research/machine_learning.md
index 9b38b3398..cc2d4d548 100644
--- a/documentation/research/machine_learning.md
+++ b/documentation/research/machine_learning.md
@@ -72,6 +72,8 @@
 
 # Differentiable programming
 
+1. [Differentiable Programming Manifesto](https://github.com/apple/swift/blob/master/docs/DifferentiableProgramming.md)
+1. [Backpropagation in the Simply Typed Lambda-calculus with Linear Negation](https://arxiv.org/abs/1909.13768)
 1. [One-and-a-Half Simple Differential Programming Languages](https://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2019/slides/GordonPlotkin-FMCS2019.pdf)
 1. [Differentiable Programming Mega-Proposal](https://forums.swift.org/t/differentiable-programming-mega-proposal/28547)
 1. https://fluxml.ai/2019/02/07/what-is-differentiable-programming.html
-- 
cgit v1.2.3