Remote

Alp

@alp@mathstodon.xyz

mastodon 4.6.4

Mathematics, Programming

0 Followers

0 Following

2 Posts

Joined October 30, 2024

Web:

https://blog.fmap.fr/

Github:

https://github.com/alpmestan

Posts

Alp @alp@mathstodon.xyz · Apr 27, 2026

Replying to @byorgey@mathstodon.xyz

@byorgey@mathstodon.xyz I suspect the latter yes. But I found the irony of considering Agda code dangerous delicious =)

Alp @alp@mathstodon.xyz · Apr 27, 2026

Replying to @byorgey@mathstodon.xyz

@byorgey@mathstodon.xyz Interesting that your Agda code is considered dangerous...