A Hugo incarnation of the blog. https://danilafe.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Danila Fedorin d64a0d1fcd Add version of typesafe interpreter with tuples. 1 year ago
..
TypesafeIntr.idr Add first draft of Idris post 2 years ago
TypesafeIntrV2.idr Remove implicit arguments from TypsafeIntrV2. 1 year ago
TypesafeIntrV3.idr Add version of typesafe interpreter with tuples. 1 year ago