I'm an engineer and doctor in computer sciences, interested in Agda, Haskell and functional programming. I currently lead the High Assurance Group at Tweag.
-
Tweag
- France
- mmontin.github.io
- in/mmontin
Block or Report
Block or report mmontin
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
-
numerical-representations
numerical-representations PublicForked from pedagand/numerical-representations
Agda
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.