Jesper Cockx's Blog · Oct 4, 2022
Don't worry (about writing Haskell), be happy (writing Agda instead)!
0Sign in to vote or save
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 - Don't worry (about writing Haskell), be happy (writing Agda instead)! Jesper Cockx Home Blog Papers Talks Teaching Links Don't worry (about writing Haskell), be happy (writing Agda instead)! Posted by Jesper on October 4, 2022 {-# OPTIONS --sized-types --erasure #-} module agda2hs where open import Agda.Primitive using ( Level ) open import Relation.Binary.PropositionalEquality…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.