-
Recent Posts
Archives
Categories
Meta
Monthly Archives: October 2018
Shape-dependent computations in Scala … and Agda!
In this post we will solve a little programming problem, mainly with the excuse of talking about dependent types. As usual, Scala will be our programming language of choice. However, this time we will also use Agda, a programming language … Continue reading
Posted in Uncategorized
Leave a comment