[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