Read articles and posts about technology and hardware Follow my startup journey and entrepreneurship insights View photo gallery and visual content Download and view resume and professional experience Visit GitHub profile for code repositories Watch educational videos and tutorials Connect on LinkedIn professional network Get in touch for collaboration or inquiries

Table of Contents ▼

Contents

This is a second test Agda Markdown file.

data Nat : Set where
     zero : Nat
     suc : Nat
← Back to Blog