[Agda] Some problems with K-S basis

v0id_NULL igorzsci at gmail.com
Tue Jul 25 04:51:35 CEST 2017


> Anyway, the main thing here is to formulate clearly for oneself:
> what is the goal of the project.

I want to experience function-level programming (point-free style) via
Agda. So I chose direct way of defining combinators in Agda instead of to
define the grammar and semantics of combinatory logic.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170725/2b64e7e0/attachment.html>


More information about the Agda mailing list