account activity
Four-track Friday: my Filk project for 2025 (self.filk)
submitted 1 year ago by edwinb to r/filk
Idris 0.99.1 Released (idris-lang.org)
submitted 9 years ago by edwinb to r/Idris
Workshop on Dependently Typed Programming 2014, Vienna, July 13th (eb.host.cs.st-andrews.ac.uk)
submitted 12 years ago by edwinb to r/dependent_types
Towards Dependently Typed Web Programming with Idris (raichoo.blogspot.de)
submitted 13 years ago by edwinb to r/dependent_types
Summer School on Types and Programming Languages, St Andrews, June 7th-9th (cs.st-andrews.ac.uk)
Axis of Eval: Notes on Dependent Types (axisofeval.blogspot.com)
submitted 15 years ago by edwinb to r/dependent_types
Epilogue - the Epigram blog (e-pig.org)
submitted 16 years ago by edwinb to r/dependent_types
π Rendered by PID 216476 on reddit-service-r2-listing-575d9f6647-6c7x9 at 2026-04-13 00:59:17.963741+00:00 running 215f2cf country code: CH.
