k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Derek Sorensen <derek AT pyrofex.net>
- To: k-user AT lists.cs.illinois.edu
- Subject: [[K-user] ] Alpha Equivalence
- Date: Mon, 18 Jun 2018 14:45:56 -0600
- Authentication-results: illinois.edu; spf=pass smtp.mailfrom=derek AT pyrofex.net; dkim=pass header.d=pyrofex-net.20150623.gappssmtp.com header.s=20150623; dmarc=none
Hi all,
Is there a natural/builtin way to do alpha equivalence in K?
Derek
- [[K-user] ] Alpha Equivalence, Derek Sorensen, 06/18/2018
- Re: [[K-user] ] Alpha Equivalence, Andrej Tokarčík, 06/25/2018
Archive powered by MHonArc 2.6.19.