Conal Elliott's repositories
talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
talk-2018-essence-of-ad
The simple essence of automatic differentiation
talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
Collaboration
Play/learn/work with me
talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
talk-2016-generic-fft
A talk on type-generic FFT in Haskell
paper-2021-language-derivatives
Paper and talk
talk-2015-more-elegant-frp
A more elegant specification for FRP
talk-2023-galilean-revolution
A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
TypeCompose
Type composition classes & instances & misc
DependentTypesAtWork-exercises
Exercises from "Dependent Types at Work"
NumInstances
Instances of numeric classes for functions and tuples
agda-cat-linear
Linear map categories in Agda
equation-transfer
Transferring equational properties backward through homomorphisms
agda-latex
Template for Agda-based talk and paper
agda-stdlib
The Agda standard library
jespercockx-agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft