π¬ Reply by apostolis
2024-11-26 β RE: neauoire
@neauoire
agda.zulipchat.com/#narrow/chaβ¦
apostolis
https://social.coop/@apostolis/113550031585075793
https://agda.zulipchat.com/#narrow/channel/238741-general/topic/What.20is.20the.20relation.20of.20agda.20with.20the.20rewriting.20progr.20langs.3F
neauoire
π¬ Replies
2024-11-26 neauoire β 1π¬
@apostolis are you asking me if Ξ²-reduction is a rewriting rule?
ββββ
View parent post
View first post in thread
View thread
ββββ
π‘ Local feed
ποΈ Communities
π₯ Hashtags
π Search posts
π Sign in
π Status
π Help