The Nest
Explore
Sign in
tzemanovic
plfa
standard-library
tests
data
trie
expected
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
ID "fix" ID "f" ID "x" EQ LET ID "b" EQ ID "fix" ID "f" IN LPAR ID "f" ID "b" RPAR ID "x"