Softinio's Notes on Software Engineering
Subscribe
Sign in
Share this post
Softinio's Notes on Software Engineering
You got Agda in my Haskell?
Copy link
Facebook
Email
Notes
More
You got Agda in my Haskell?
Salar Rahmanian
Feb 12, 2023
Share this post
Softinio's Notes on Software Engineering
You got Agda in my Haskell?
Copy link
Facebook
Email
Notes
More
By Ryan Orendorff
Read →
Comments
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
Share this post
You got Agda in my Haskell?
Share this post
By Ryan Orendorff