[ITT]Ppost your current programming thought[NOT WORTH AN ENTIRE THREAD] (10)

8 Name: #!/usr/bin/anonymous : 2017-06-30 18:26 ID:/Rr1imNS

In Idris, = is a type constructor as well as the equality operator
i.e. 4 = 4 is a value (True) and also a type

my poor little brain.

Return Entire thread Last 50 posts
Name: Link:
Leave these fields empty (spam trap):
More options...
Verification: