search

haskellweekly / haskellweekly.github.io

A free weekly newsletter about the Haskell programming language.
https://haskellweekly.news
MIT License
89 stars 33 forks source link

Quantifiers / Dependent Types post #253

Closed eviefp closed 5 years ago

eviefp commented 5 years ago

Hello! I wrote a blog post about dependent types / quantifiers in logic, using Agda. Link: http://cvlad.info/quantifiers/

My twitter: https://twitter.com/cvlad

Thanks!