Abacus Noir

Agam Uncategorized December 4, 2018 1 Minute

Came across the PFPL in Agda book, and tried it out for the first time:

Published by Agam

Published December 4, 2018

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

%d bloggers like this: