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