[Agda] is there a show function like haskell to show result of a
running function
Mandy Martino
tesleft at hotmail.com
Thu Jan 28 05:38:53 CET 2016
SGksDQoNCm9wZW4gaW1wb3J0IEFsZ2VicmEuUmluZ1NvbHZlcg0KDQpzaG93KHNvbHZlKDIgeCAr
IDMgeF4yKSkNCg0KL2hvbWUvbWFydGluL2FnZGEvZ29zb2x2ZS5hZ2RhOjMsMS0yNQ0KTWlzc2lu
ZyB0eXBlIHNpZ25hdHVyZSBmb3IgbGVmdCBoYW5kIHNpZGUgc2hvdyAoc29sdmUgKDIgeCArIDMN
CnheMikpDQp3aGVuIHNjb3BlIGNoZWNraW5nIHRoZSBkZWNsYXJhdGlvbg0KICBzaG93IChzb2x2
ZSAoMiB4ICsgMyB4XjIpKQ0KDQpSZWdhcmRzLA0KDQpNYXJ0aW4=
More information about the Agda
mailing list