Matthew StephensonDan Boneh’s studentsRecently I organized an event related to cryptography and had dinner with some of dabo@cs.stanford.edu’s students; a gathering of some of…Aug 25
Mwenda KelvinIdris: The Language of Totality and Infinite PossibilitiesExplore Idris, a functional programming language with dependent types, lazy evaluation, and a totality checker, designed for building…Nov 21
Adam BrohlFormally Verified Monads in IdrisOne of the main appeals of programming in Haskell is the ability to express algorithms with Monads, which allow the programmer to abstract…Apr 27Apr 27
InOpenSourceScribesbyC. L. BeardIdris Programming LanguagePurely Functional ProgrammingNov 11, 2023Nov 11, 2023
Jannah Firdaus Mediapro Art & StoryIslamic Folklore The Biography of Prophet Idris AS English EditionAllah SWT (God) says in The Holy Qur’an:Aug 13, 2023Aug 13, 2023
Matthew StephensonDan Boneh’s studentsRecently I organized an event related to cryptography and had dinner with some of dabo@cs.stanford.edu’s students; a gathering of some of…Aug 25
Mwenda KelvinIdris: The Language of Totality and Infinite PossibilitiesExplore Idris, a functional programming language with dependent types, lazy evaluation, and a totality checker, designed for building…Nov 21
Adam BrohlFormally Verified Monads in IdrisOne of the main appeals of programming in Haskell is the ability to express algorithms with Monads, which allow the programmer to abstract…Apr 27
Jannah Firdaus Mediapro Art & StoryIslamic Folklore The Biography of Prophet Idris AS English EditionAllah SWT (God) says in The Holy Qur’an:Aug 13, 2023
art yerkesHow to be bad at coq if you know idrisRelating to coq proofs if your frame of reference is idris.Sep 26, 2022
art yerkesFin, Vect and restrict in idrisIt seems like a bit of a trap that restrict yields Fin (S n) for a Vect (S n) but it’s giving a type level protection from trying to access…May 25, 2022
Andrew SpiessSwift has a hole — a little type-driven developmentI love Swift’s type system. First when I switched from Objective-C, which was around two years ago, I was so spoiled by dynamic approach…Jul 21, 2017
