Hi!
Don't miss that cool stuff I've just found, you'll love it, take a look here message
07980897577
From: rehsifmot.tomfisher [mailto:rehsifmot.tomfisher@blogger.com]
Sent: Wednesday, May 31, 2017 12:42 AM
To: 07980897577@orange.net
Subject: LOOK CLSUR I AM GUN
Thank you so much for this insight. I knew there was a broader theory and terminology to what I was doing and this will help me dig deeper.
A couple of personal side-notes: I'd read about Agda and Idris and the whole dependent type thing never clicked until I was working on this. Because Haskell's type-level features are not dirt class features of the language, I really began to understand what other actual dependent type languages can offer. I'm very exicited to start working with Agda and Idris.
II: I was actually reluctant to post this because I knew it wasn't new, finished, or breaking stuff, but I remember something /u/Tekmo said about just writing and putting it out there. Helpful words!
Thanks.
Sent from Mail for Windows 10
