Your browser seems to have problems showing our website properly so it's switched to a simplified version.
We use cookies to personalize content and give you the best web experience. For more details, please read our Privacy Notice
Accept

Tag: Agda vs Haskell

ResearchProgrammingArtificial IntelligenceInterviewsOther
- Less
- Less
Agda in a nutshellAgda in a nutshell
Constructive and Non-Constructive Proofs in Agda (Part 2): Agda in a Nutshell
Last week, we started a new blog series to introduce you to creating constructive and non-constructive proofs in Agda..
Danya Rogozin
Article by Danya Rogozin
Monday, November 26th, 2018
- Less
- Less
ResearchProgrammingArtificial IntelligenceInterviewsOther
Close