Danila Fedorin b078ef9a22 Remove implicit arguments from TypsafeIntrV2.		2020-07-22 14:30:47 -07:00
..
TypesafeIntr.idr	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
TypesafeIntrV2.idr	Remove implicit arguments from TypsafeIntrV2.	2020-07-22 14:30:47 -07:00