This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - Agda Core: The Dream and the Reality Jesper Cockx Home Blog Papers Talks Teaching Links Agda Core: The Dream and the Reality Posted by Jesper on May 11, 2024 {-# OPTIONS --erasure #-} module agda-core where open import Haskell.Prelude --> One important purpose of a type system (and especially a dependent type system) is to increase the trustworthiness of the objects the types are…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.